Searched refs:tsc_deadline (Results 1 – 1 of 1) sorted by relevance
1605 u64 guest_tsc, tsc_deadline; in __kvm_wait_lapic_expire() local1607 tsc_deadline = apic->lapic_timer.expired_tscdeadline; in __kvm_wait_lapic_expire()1610 apic->lapic_timer.advance_expire_delta = guest_tsc - tsc_deadline; in __kvm_wait_lapic_expire()1619 if (guest_tsc < tsc_deadline) in __kvm_wait_lapic_expire()1623 if (guest_tsc < tsc_deadline) in __kvm_wait_lapic_expire()1624 __wait_lapic_expire(vcpu, tsc_deadline - guest_tsc); in __kvm_wait_lapic_expire()
