Constant x86::msr::IA32_PLATFORM_ID

pub const IA32_PLATFORM_ID: u32 = 0x17;

Platform ID (R) See Table 35-2. The operating system can use this MSR to determine slot information for the processor and the proper microcode update to load.