Constant x86defs::X86X_MSR_PPIN_CTL

pub const X86X_MSR_PPIN_CTL: u32 = 0x4e;