Lines Matching defs:guest_tsc
1860 u64 guest_tsc, tsc_deadline;
1864 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1865 trace_kvm_wait_lapic_expire(vcpu->vcpu_id, guest_tsc - tsc_deadline);
1867 adjust_lapic_timer_advance(vcpu, guest_tsc - tsc_deadline);
1873 if (guest_tsc < tsc_deadline)
1874 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1876 if (guest_tsc < tsc_deadline)
1877 __wait_lapic_expire(vcpu, tsc_deadline - guest_tsc);
1944 u64 guest_tsc, tscdeadline = ktimer->tscdeadline;
1958 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1960 ns = (tscdeadline - guest_tsc) * 1000000ULL;
1963 if (likely(tscdeadline > guest_tsc) &&