Searched refs:guest_tsc (Results 1 - 2 of 2) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dlapic.c1240 u64 guest_tsc, tsc_deadline; wait_lapic_expire() local
1253 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); wait_lapic_expire()
1254 trace_kvm_wait_lapic_expire(vcpu->vcpu_id, guest_tsc - tsc_deadline); wait_lapic_expire()
1257 if (guest_tsc < tsc_deadline) wait_lapic_expire()
1258 __delay(tsc_deadline - guest_tsc); wait_lapic_expire()
1308 u64 guest_tsc, tscdeadline = apic->lapic_timer.tscdeadline; start_apic_timer() local
1321 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); start_apic_timer()
1322 if (likely(tscdeadline > guest_tsc)) { start_apic_timer()
1323 ns = (tscdeadline - guest_tsc) * 1000000ULL; start_apic_timer()
H A Dvmx.c2395 * guest_tsc = (host_tsc * tsc multiplier) >> 48 + tsc_offset

Completed in 131 milliseconds