pub const MSR_IA32_TSC: u32 = 0x00000010;