tsc_deadline     1510 arch/x86/kvm/lapic.c 	u64 guest_tsc, tsc_deadline;
tsc_deadline     1515 arch/x86/kvm/lapic.c 	tsc_deadline = apic->lapic_timer.expired_tscdeadline;
tsc_deadline     1518 arch/x86/kvm/lapic.c 	apic->lapic_timer.advance_expire_delta = guest_tsc - tsc_deadline;
tsc_deadline     1520 arch/x86/kvm/lapic.c 	if (guest_tsc < tsc_deadline)
tsc_deadline     1521 arch/x86/kvm/lapic.c 		__wait_lapic_expire(vcpu, tsc_deadline - guest_tsc);