Home
last modified time | relevance | path

Searched refs:kvm_read_l1_tsc (Results 1 – 5 of 5) sorted by relevance

/arch/x86/kvm/
Dlapic.c1525 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in __kvm_wait_lapic_expire()
1594 guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in start_sw_tscdeadline()
1650 apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) + in set_target_expiration()
1674 apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) + in advance_periodic_target_expiration()
Dhyperv.c416 tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in get_time_ref_counter()
Dx86.c1931 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in kvm_read_l1_tsc() function
1937 EXPORT_SYMBOL_GPL(kvm_read_l1_tsc);
2425 tsc_timestamp = kvm_read_l1_tsc(v, host_tsc); in kvm_guest_time_update()
7456 clock_pairing.tsc = kvm_read_l1_tsc(vcpu, cycle); in kvm_pv_clock_pairing()
8357 vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc()); in vcpu_enter_guest()
/arch/x86/include/asm/
Dkvm_host.h1577 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);
/arch/x86/kvm/vmx/
Dvmx.c7325 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); in vmx_set_hv_timer()