Searched refs:lapic_set_tsc_deadline_timer (Results 1 – 3 of 3) sorted by relevance
130 lapic_set_tsc_deadline_timer(tsc + delta_tsc); in rtc_lapic_set_tsc_deadline_timer()132 lapic_set_tsc_deadline_timer(0); in rtc_lapic_set_tsc_deadline_timer()
780 lapic_set_tsc_deadline_timer(rdtsc64() + (1ULL << 32)); in lapic_config_tsc_deadline_timer()782 lapic_set_tsc_deadline_timer(0); in lapic_config_tsc_deadline_timer()797 lapic_set_tsc_deadline_timer(uint64_t deadline) in lapic_set_tsc_deadline_timer() function
297 extern void lapic_set_tsc_deadline_timer(uint64_t deadline);