APIC_TIMER_MODE_DEADLINE
(apic_timer_preferred_mode != APIC_TIMER_MODE_DEADLINE))
if ((apic_timer_preferred_mode == APIC_TIMER_MODE_DEADLINE) &&
timer_mode = APIC_TIMER_MODE_DEADLINE;
case APIC_TIMER_MODE_DEADLINE:
int apic_timer_preferred_mode = APIC_TIMER_MODE_DEADLINE;