Constant MSR_IA32_MKTME_KEYID_PARTITIONING 

pub const MSR_IA32_MKTME_KEYID_PARTITIONING: u32 = 0x87;