x86_64::msr_index

Constant MSR_TSC_AUX

Source 
pub const MSR_TSC_AUX: c_uint = 0xc0000103;