Searched refs:lapic_get_tsc_deadline_timer (Results 1 – 3 of 3) sorted by relevance
138 tsc, lapic_get_tsc_deadline_timer(), in rtc_lapic_set_tsc_deadline_timer()
298 extern uint64_t lapic_get_tsc_deadline_timer(void);
781 } while (lapic_get_tsc_deadline_timer() == 0); in lapic_config_tsc_deadline_timer()804 lapic_get_tsc_deadline_timer(void) in lapic_get_tsc_deadline_timer() function