Searched refs:guest_tsc (Results 1 – 1 of 1) sorted by relevance
1511 u64 guest_tsc, tsc_deadline; in __kvm_wait_lapic_expire() local1518 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in __kvm_wait_lapic_expire()1519 apic->lapic_timer.advance_expire_delta = guest_tsc - tsc_deadline; in __kvm_wait_lapic_expire()1521 if (guest_tsc < tsc_deadline) in __kvm_wait_lapic_expire()1522 __wait_lapic_expire(vcpu, tsc_deadline - guest_tsc); in __kvm_wait_lapic_expire()1573 u64 guest_tsc, tscdeadline = ktimer->tscdeadline; in start_sw_tscdeadline() local1587 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in start_sw_tscdeadline()1589 ns = (tscdeadline - guest_tsc) * 1000000ULL; in start_sw_tscdeadline()1592 if (likely(tscdeadline > guest_tsc) && in start_sw_tscdeadline()
