Searched refs:kvm_read_l1_tsc (Results 1 – 5 of 5) sorted by relevance
2458 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);
253 guest_tsc = kvm_read_l1_tsc(vcpu, host_tsc); in kvm_xen_start_timer()
2678 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in kvm_read_l1_tsc() function2683 EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_read_l1_tsc);3354 tsc_timestamp = kvm_read_l1_tsc(v, host_tsc); in kvm_guest_time_update()10311 clock_pairing.tsc = kvm_read_l1_tsc(vcpu, cycle); in kvm_pv_clock_pairing()11533 vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in vcpu_enter_guest()
1086 *data = kvm_read_l1_tsc(vcpu, host_tsc); in nested_vmx_get_vmexit_msr_value()2238 u64 l1_scaled_tsc = kvm_read_l1_tsc(vcpu, rdtsc()) >> in vmx_calc_preemption_timer_value()
8333 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer()