pub const MSR_IA32_TSCDEADLINE: u32 = 1760;