Constant x86_64::cpuid::EDX_HTT_SHIFT

pub const EDX_HTT_SHIFT: u32 = 28;