kvm_scale_tsc    1574 arch/x86/include/asm/kvm_host.h u64 kvm_scale_tsc(struct kvm_vcpu *vcpu, u64 tsc);
kvm_scale_tsc    1902 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_scale_tsc);
kvm_scale_tsc    1908 arch/x86/kvm/x86.c 	tsc = kvm_scale_tsc(vcpu, rdtsc());
kvm_scale_tsc    1917 arch/x86/kvm/x86.c 	return tsc_offset + kvm_scale_tsc(vcpu, host_tsc);
kvm_scale_tsc    2055 arch/x86/kvm/x86.c 	adjustment = kvm_scale_tsc(vcpu, (u64) adjustment);
kvm_scale_tsc    2432 arch/x86/kvm/x86.c 		tgt_tsc_khz = kvm_scale_tsc(v, tgt_tsc_khz);
kvm_scale_tsc    3035 arch/x86/kvm/x86.c 		msr_info->data = kvm_scale_tsc(vcpu, rdtsc()) + vcpu->arch.tsc_offset;