Constant ECX_TSC_DEADLINE_TIMER_SHIFT

Source
pub const ECX_TSC_DEADLINE_TIMER_SHIFT: u32 = 24;