kvm_read_l1_tsc  1575 arch/x86/include/asm/kvm_host.h u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);
kvm_read_l1_tsc   410 arch/x86/kvm/hyperv.c 	tsc = kvm_read_l1_tsc(vcpu, rdtsc());
kvm_read_l1_tsc  1517 arch/x86/kvm/lapic.c 	guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
kvm_read_l1_tsc  1586 arch/x86/kvm/lapic.c 	guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());
kvm_read_l1_tsc  1642 arch/x86/kvm/lapic.c 	apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) +
kvm_read_l1_tsc  1666 arch/x86/kvm/lapic.c 	apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) +
kvm_read_l1_tsc  7214 arch/x86/kvm/vmx/vmx.c 	guest_tscl = kvm_read_l1_tsc(vcpu, tscl);
kvm_read_l1_tsc  1919 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_read_l1_tsc);
kvm_read_l1_tsc  2407 arch/x86/kvm/x86.c 	tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);
kvm_read_l1_tsc  7388 arch/x86/kvm/x86.c 	clock_pairing.tsc = kvm_read_l1_tsc(vcpu, cycle);
kvm_read_l1_tsc  8280 arch/x86/kvm/x86.c 	vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());