kvm_max_tsc_scaling_ratio 1314 arch/x86/include/asm/kvm_host.h extern u64  kvm_max_tsc_scaling_ratio;
kvm_max_tsc_scaling_ratio 1367 arch/x86/kvm/svm.c 		kvm_max_tsc_scaling_ratio = TSC_RATIO_MAX;
kvm_max_tsc_scaling_ratio 7698 arch/x86/kvm/vmx/vmx.c 		kvm_max_tsc_scaling_ratio = KVM_VMX_TSC_MULTIPLIER_MAX;
kvm_max_tsc_scaling_ratio  131 arch/x86/kvm/x86.c u64  __read_mostly kvm_max_tsc_scaling_ratio;
kvm_max_tsc_scaling_ratio  132 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_max_tsc_scaling_ratio);
kvm_max_tsc_scaling_ratio 1786 arch/x86/kvm/x86.c 	if (ratio == 0 || ratio >= kvm_max_tsc_scaling_ratio) {
kvm_max_tsc_scaling_ratio 9411 arch/x86/kvm/x86.c 			      __scale_tsc(kvm_max_tsc_scaling_ratio, tsc_khz));