Constant MSR_IA32_TSC_DEADLINE 

pub const MSR_IA32_TSC_DEADLINE: u32 = 0x6e0;