Constant CPUID_7_0_EBX_HLE 

pub const CPUID_7_0_EBX_HLE: u32 = 16;