x86_64::msr_index

Constant MSR_PPIN_CTL

Source 
pub const MSR_PPIN_CTL: c_uint = 0x0000004e;