Constant MSR_IA32_POWER_CTL_BIT_EE 

pub const MSR_IA32_POWER_CTL_BIT_EE: u32 = 0x13;