const TIMER_MODE_TSC_DEADLINE: u32 = _; // 262_144u32