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