Searched refs:kvm_read_l1_tsc (Results 1 – 3 of 3) sorted by relevance
1253 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in wait_lapic_expire()1321 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in start_apic_timer()
1404 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in kvm_read_l1_tsc() function1408 EXPORT_SYMBOL_GPL(kvm_read_l1_tsc);1747 tsc_timestamp = kvm_read_l1_tsc(v, host_tsc); in kvm_guest_time_update()6570 vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in vcpu_enter_guest()
1229 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);