Searched refs:guest_tsc (Results 1 – 1 of 1) sorted by relevance
1151 u64 guest_tsc, tsc_deadline; in wait_lapic_expire() local1164 guest_tsc = kvm_x86_ops->read_l1_tsc(vcpu, native_read_tsc()); in wait_lapic_expire()1165 trace_kvm_wait_lapic_expire(vcpu->vcpu_id, guest_tsc - tsc_deadline); in wait_lapic_expire()1168 if (guest_tsc < tsc_deadline) in wait_lapic_expire()1169 __delay(tsc_deadline - guest_tsc); in wait_lapic_expire()1219 u64 guest_tsc, tscdeadline = apic->lapic_timer.tscdeadline; in start_apic_timer() local1232 guest_tsc = kvm_x86_ops->read_l1_tsc(vcpu, native_read_tsc()); in start_apic_timer()1233 if (likely(tscdeadline > guest_tsc)) { in start_apic_timer()1234 ns = (tscdeadline - guest_tsc) * 1000000ULL; in start_apic_timer()