Searched refs:kvm_read_l1_tsc (Results 1 – 5 of 5) sorted by relevance
/Linux-v4.19/arch/x86/kvm/ |
D | lapic.c | 1488 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in wait_lapic_expire() 1513 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in start_sw_tscdeadline() 1577 apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) + in set_target_expiration() 1601 apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) + in advance_periodic_target_expiration()
|
D | hyperv.c | 440 tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in get_time_ref_counter()
|
D | x86.c | 1575 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in kvm_read_l1_tsc() function 1581 EXPORT_SYMBOL_GPL(kvm_read_l1_tsc); 2073 tsc_timestamp = kvm_read_l1_tsc(v, host_tsc); in kvm_guest_time_update() 6789 clock_pairing.tsc = kvm_read_l1_tsc(vcpu, cycle); in kvm_pv_clock_pairing() 7632 vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in vcpu_enter_guest()
|
D | vmx.c | 13515 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer()
|
/Linux-v4.19/arch/x86/include/asm/ |
D | kvm_host.h | 1470 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);
|