deadline_timer_disable
apic_timer.apic_timer_disable_ops = deadline_timer_disable;
static void deadline_timer_disable(void);