arch/x86/include/asm/kvm_host.h

2417

u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);

arch/x86/kvm/hyperv.c

586

tsc = kvm_read_l1_tsc(vcpu, rdtsc());

arch/x86/kvm/lapic.c

1984

guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());

arch/x86/kvm/lapic.c

1994

guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());

arch/x86/kvm/lapic.c

2078

guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());

arch/x86/kvm/lapic.c

2167

apic->lapic_timer.tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) +

arch/x86/kvm/lapic.c

2209

ktimer->tscdeadline = kvm_read_l1_tsc(apic->vcpu, tscl) +

arch/x86/kvm/vmx/nested.c

1086

*data = kvm_read_l1_tsc(vcpu, host_tsc);

arch/x86/kvm/vmx/nested.c

2238

u64 l1_scaled_tsc = kvm_read_l1_tsc(vcpu, rdtsc()) >>

arch/x86/kvm/vmx/vmx.c

8423

guest_tscl = kvm_read_l1_tsc(vcpu, tscl);

arch/x86/kvm/x86.c

10259

clock_pairing.tsc = kvm_read_l1_tsc(vcpu, cycle);

arch/x86/kvm/x86.c

11440

vcpu->arch.last_guest_tsc = kvm_read_l1_tsc(vcpu, rdtsc());

arch/x86/kvm/x86.c

2681

EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_read_l1_tsc);

arch/x86/kvm/x86.c

3352

tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);

arch/x86/kvm/xen.c

253

guest_tsc = kvm_read_l1_tsc(vcpu, host_tsc);