Constant CPUID_HT 

pub const CPUID_HT: u32 = 268435456;