Constant x86_64::cpuid::ECX_TSC_DEADLINE_TIMER_SHIFT

pub const ECX_TSC_DEADLINE_TIMER_SHIFT: u32 = 24;