APIC_TIMER_NDIVISORS
KKASSERT(divisor_idx >= 0 && divisor_idx < APIC_TIMER_NDIVISORS);
lapic_timer_divisor_idx < APIC_TIMER_NDIVISORS;
if (lapic_timer_divisor_idx >= APIC_TIMER_NDIVISORS)