Symbol: kvm_scale_tsc
arch/x86/include/asm/kvm_host.h
2416
u64 kvm_scale_tsc(u64 tsc, u64 ratio);
arch/x86/kvm/x86.c
2671
tsc = kvm_scale_tsc(rdtsc(), vcpu->arch.l1_tsc_scaling_ratio);
arch/x86/kvm/x86.c
2679
kvm_scale_tsc(host_tsc, vcpu->arch.l1_tsc_scaling_ratio);
arch/x86/kvm/x86.c
2901
adjustment = kvm_scale_tsc((u64) adjustment,
arch/x86/kvm/x86.c
3377
tgt_tsc_khz = kvm_scale_tsc(tgt_tsc_khz,
arch/x86/kvm/x86.c
4433
msr_info->data = kvm_scale_tsc(rdtsc(), ratio) + offset;
arch/x86/kvm/x86.c
5963
tsc = kvm_scale_tsc(rdtsc(), vcpu->arch.l1_tsc_scaling_ratio) + offset;