Searched refs:guest_tsc (Results 1 – 2 of 2) sorted by relevance
213 uint64_t host_tsc, guest_tsc; in kvm_xen_start_timer() local253 guest_tsc = kvm_read_l1_tsc(vcpu, host_tsc); in kvm_xen_start_timer()254 guest_now = __pvclock_read_cycles(&hv_clock, guest_tsc); in kvm_xen_start_timer()
2752 uint64_t guest_tsc = decoder->packet.payload; in intel_pt_vm_tm_corr_pebs_tsc() 2780 host_tsc = ((guest_tsc & SEVEN_BYTES) - vmcs_info->tsc_offset) & SEVEN_BYTES; in intel_pt_vm_tm_corr_pebs_tsc() 2784 guest_tsc, host_tsc, vmcs_info->vmcs, in intel_pt_vm_tm_corr_pebs_tsc() 2750 uint64_t guest_tsc = decoder->packet.payload; intel_pt_vm_tm_corr_pebs_tsc() local