pub const MSR_IA32_TSCDEADLINE: c_uint = 0x000006e0;