tsc_ratio        2334 arch/x86/kvm/svm.c 		u64 tsc_ratio = vcpu->arch.tsc_scaling_ratio;
tsc_ratio        2335 arch/x86/kvm/svm.c 		if (tsc_ratio != __this_cpu_read(current_tsc_ratio)) {
tsc_ratio        2336 arch/x86/kvm/svm.c 			__this_cpu_write(current_tsc_ratio, tsc_ratio);
tsc_ratio        2337 arch/x86/kvm/svm.c 			wrmsrl(MSR_AMD64_TSC_RATIO, tsc_ratio);