Lines Matching defs:guest_tsc
1848 u64 guest_tsc, tsc_deadline;
1852 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1853 trace_kvm_wait_lapic_expire(vcpu->vcpu_id, guest_tsc - tsc_deadline);
1856 adjust_lapic_timer_advance(vcpu, guest_tsc - tsc_deadline);
1862 if (guest_tsc < tsc_deadline)
1863 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1866 if (guest_tsc < tsc_deadline)
1867 __wait_lapic_expire(vcpu, tsc_deadline - guest_tsc);
1934 u64 guest_tsc, tscdeadline = ktimer->tscdeadline;
1948 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
1950 ns = (tscdeadline - guest_tsc) * 1000000ULL;
1953 if (likely(tscdeadline > guest_tsc) &&