pub const MSR_IA32_TSC_DEADLINE: c_uint = 0x000006e0;