Constant x86_64::msr_index::MSR_TSC_AUX

pub const MSR_TSC_AUX: c_uint = 0xc0000103;