Constant X86X_IA32_MSR_PLATFORM_ID 

pub const X86X_IA32_MSR_PLATFORM_ID: u32 = 0x17;