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