MSR_AMD64_TSC_RATIO
case MSR_AMD64_TSC_RATIO:
case MSR_AMD64_TSC_RATIO:
wrmsrq(MSR_AMD64_TSC_RATIO, multiplier);
case MSR_AMD64_TSC_RATIO:
MSR_AMD64_TSC_RATIO,
wrmsr(MSR_AMD64_TSC_RATIO, L2_SCALE_FACTOR << 32);