Searched refs:TIMER_CURRENT_COUNT (Results 1 – 3 of 3) sorted by relevance
101 set, LAPIC_READ(TIMER_CURRENT_COUNT), in rtc_lapic_set_timer()
516 kprintf(" Current Count: 0x%08x \n", LAPIC_READ(TIMER_CURRENT_COUNT)); in lapic_dump()828 *current_count = LAPIC_READ(TIMER_CURRENT_COUNT); in lapic_get_timer()1022 if (LAPIC_READ(TIMER_CURRENT_COUNT) == 0) { in lapic_smm_restore()
161 TIMER_CURRENT_COUNT = 0x39, enumerator