Constant x86_64::msr_index::MSR_PPIN_CTL

pub const MSR_PPIN_CTL: c_uint = 0x0000004e;