Constant X86X_IA32_MSR_PKG_ENERGY_STATUS 

pub const X86X_IA32_MSR_PKG_ENERGY_STATUS: u32 = 0x611;