deadline_timer_enable
apic_timer.apic_timer_enable_ops = deadline_timer_enable;
static void deadline_timer_enable(void);