Constant X86X_MSR_TSC_AUX

pub const X86X_MSR_TSC_AUX: u32 = 0xC0000103;