Searched refs:lapic_get_tsc_deadline_timer (Results 1 – 2 of 2) sorted by relevance
298 extern uint64_t lapic_get_tsc_deadline_timer(void);
782 } while (lapic_get_tsc_deadline_timer() == 0); in lapic_config_tsc_deadline_timer()805 lapic_get_tsc_deadline_timer(void) in lapic_get_tsc_deadline_timer() function