APIC_TIMER_MAX_COUNT
if (freq / lapic_timer_divisor < APIC_TIMER_MAX_COUNT)
return (APIC_TIMER_MAX_COUNT - lapic_read32(LAPIC_CCR_TIMER));
lapic_timer_oneshot_nointr(la, APIC_TIMER_MAX_COUNT);
if (freq * 2 / lapic_timer_divisor < APIC_TIMER_MAX_COUNT)