MSR_AMD64_TSC_RATIO  902 arch/x86/kvm/svm.c 		wrmsrl(MSR_AMD64_TSC_RATIO, TSC_RATIO_DEFAULT);
MSR_AMD64_TSC_RATIO  944 arch/x86/kvm/svm.c 		wrmsrl(MSR_AMD64_TSC_RATIO, TSC_RATIO_DEFAULT);
MSR_AMD64_TSC_RATIO 2337 arch/x86/kvm/svm.c 			wrmsrl(MSR_AMD64_TSC_RATIO, tsc_ratio);