Searched refs:lapic_set_tsc_deadline_timer (Results 1 – 3 of 3) sorted by relevance
135 lapic_set_tsc_deadline_timer(dead_tsc); in rtc_lapic_set_tsc_deadline_timer()
781 lapic_set_tsc_deadline_timer(rdtsc64() + (1ULL << 32)); in lapic_config_tsc_deadline_timer()783 lapic_set_tsc_deadline_timer(0); in lapic_config_tsc_deadline_timer()798 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);