Searched refs:tsc_deadline (Results 1 – 1 of 1) sorted by relevance
1475 u64 guest_tsc, tsc_deadline; in wait_lapic_expire() local1486 tsc_deadline = apic->lapic_timer.expired_tscdeadline; in wait_lapic_expire()1489 trace_kvm_wait_lapic_expire(vcpu->vcpu_id, guest_tsc - tsc_deadline); in wait_lapic_expire()1492 if (guest_tsc < tsc_deadline) in wait_lapic_expire()1493 __delay(min(tsc_deadline - guest_tsc, in wait_lapic_expire()
