Searched refs:guest_tsc (Results 1 – 1 of 1) sorted by relevance
732 u64 guest_tsc, tscdeadline = apic->lapic_timer.tscdeadline; in start_apic_timer() local744 guest_tsc = kvm_x86_ops->read_l1_tsc(vcpu); in start_apic_timer()745 if (likely(tscdeadline > guest_tsc)) { in start_apic_timer()746 ns = (tscdeadline - guest_tsc) * 1000000ULL; in start_apic_timer()