Constant x86defs::X86X_MSR_PLATFORM_INFO

pub const X86X_MSR_PLATFORM_INFO: u32 = 0xce;