Constant X86X_MSR_TSC 

pub const X86X_MSR_TSC: u32 = 0x10;