x86_64::cpuid

Constant EDX_HTT_SHIFT

Source 
pub const EDX_HTT_SHIFT: u32 = 28;