MSR_TSC_AUX

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

Constant MSR_TSC_AUX 

Source 
pub const MSR_TSC_AUX: u32 = 0xc0000103;