Constant X86X_MSR_PLATFORM_INFO 

pub const X86X_MSR_PLATFORM_INFO: u32 = 0xce;