MSR_PPIN_CTL

vmm::arch::x86_64::generated::msr_index

Constant MSR_PPIN_CTL 

Source 
pub const MSR_PPIN_CTL: u32 = 0x4e;