Searched defs:guest_tsc (Results 1 – 1 of 1) sorted by relevance
1151 u64 guest_tsc, tsc_deadline; in wait_lapic_expire() local1219 u64 guest_tsc, tscdeadline = apic->lapic_timer.tscdeadline; in start_apic_timer() local