Searched refs:guest_tsc (Results 1 – 2 of 2) sorted by relevance
1605 u64 guest_tsc, tsc_deadline; in __kvm_wait_lapic_expire() local1609 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in __kvm_wait_lapic_expire()1610 apic->lapic_timer.advance_expire_delta = guest_tsc - tsc_deadline; in __kvm_wait_lapic_expire()1619 if (guest_tsc < tsc_deadline) in __kvm_wait_lapic_expire()1620 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in __kvm_wait_lapic_expire()1623 if (guest_tsc < tsc_deadline) in __kvm_wait_lapic_expire()1624 __wait_lapic_expire(vcpu, tsc_deadline - guest_tsc); in __kvm_wait_lapic_expire()1691 u64 guest_tsc, tscdeadline = ktimer->tscdeadline; in start_sw_tscdeadline() local1705 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in start_sw_tscdeadline()1707 ns = (tscdeadline - guest_tsc) * 1000000ULL; in start_sw_tscdeadline()[all …]
2484 uint64_t guest_tsc = decoder->packet.payload; in intel_pt_vm_tm_corr_pebs_tsc() local2512 host_tsc = ((guest_tsc & SEVEN_BYTES) - vmcs_info->tsc_offset) & SEVEN_BYTES; in intel_pt_vm_tm_corr_pebs_tsc()2516 guest_tsc, host_tsc, vmcs_info->vmcs, in intel_pt_vm_tm_corr_pebs_tsc()
