MSR_CMPHALT
if (rdmsr_safe(MSR_CMPHALT, &msr) != EFAULT)
val = rdmsr(MSR_CMPHALT);
wrmsr(MSR_CMPHALT, val & ~c1e);