MSR_F15H_PTSC

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

Constant MSR_F15H_PTSC 

Source 
pub const MSR_F15H_PTSC: u32 = 0xc0010280;