Constant MSR_IA32_MISC_ENABLE_MWAIT 

pub const MSR_IA32_MISC_ENABLE_MWAIT: u32 = 0x40000;