Searched refs:dead_tsc (Results 1 – 1 of 1) sorted by relevance
122 uint64_t dead_tsc; in rtc_lapic_set_tsc_deadline_timer() local131 dead_tsc = tsc + delta_tsc; in rtc_lapic_set_tsc_deadline_timer()133 dead_tsc = 0; in rtc_lapic_set_tsc_deadline_timer()135 lapic_set_tsc_deadline_timer(dead_tsc); in rtc_lapic_set_tsc_deadline_timer()140 tsc, dead_tsc, in rtc_lapic_set_tsc_deadline_timer()