TSC_TARGET_WRVAL
wrmsr(MSR_TSC, TSC_TARGET_WRVAL);
wrmsr(0x10, TSC_TARGET_WRVAL);
if (tsc < TSC_TARGET_WRVAL) {
TSC_TARGET_WRVAL);
if (tsc < TSC_TARGET_WRVAL) {
TSC_TARGET_WRVAL);