Searched refs:APIC_TIMER_COUNT (Results 1 – 4 of 4) sorted by relevance
27 apic_write_reg(APIC_TIMER_COUNT, 0xffffffff); in apic_measure_freq()97 apic_write_reg(APIC_TIMER_COUNT, apic_khz * CONFIG_TIMER_TICK_MS); in apic_init()
65 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio)); in setDeadline()
34 APIC_TIMER_COUNT = 0x838, enumerator
35 APIC_TIMER_COUNT = 0x380, enumerator
Completed in 5 milliseconds