platform/pc/timer.cpp

94 static uint8_t apic_divisor = 0;
281         apic_divisor = 1;
290     apic_divisor = 1;
292     while (apic_divisor != 0) {
311                     apic_divisor,
348                 apic_divisor = static_cast<uint8_t>(apic_divisor * 2);
356     ASSERT(apic_divisor != 0);
359            apic_ticks_per_ms, apic_divisor);
590     uint32_t divisor = apic_divisor << extra_shift;