__scale_tsc      1898 arch/x86/kvm/x86.c 		_tsc = __scale_tsc(ratio, tsc);
__scale_tsc      9411 arch/x86/kvm/x86.c 			      __scale_tsc(kvm_max_tsc_scaling_ratio, tsc_khz));