Searched refs:LAPIC_DCR_TIMER (Results 1 – 2 of 2) sorted by relevance
242 LAPIC_DCR_TIMER = 0x3e, enumerator
1356 lapic_write32(LAPIC_DCR_TIMER, lapic_timer_divisors[ffs(divisor) - 1]); in lapic_timer_set_divisor()