Searched refs:TIMER_DIVIDE_CONFIG (Results 1 – 2 of 2) sorted by relevance
518 kprintf(" Divide Config: 0x%08x \n", LAPIC_READ(TIMER_DIVIDE_CONFIG)); in lapic_dump()738 LAPIC_WRITE(TIMER_DIVIDE_CONFIG, divisor); in lapic_set_timer()759 LAPIC_WRITE(TIMER_DIVIDE_CONFIG, divisor); in lapic_config_timer()823 *divisor = LAPIC_READ(TIMER_DIVIDE_CONFIG) & LAPIC_TIMER_DIVIDE_MASK; in lapic_get_timer()
162 TIMER_DIVIDE_CONFIG = 0x3E, enumerator