MSR_IA32_FEAT_CTRL
fctrl = rdmsr(MSR_IA32_FEAT_CTRL);
wrmsr(MSR_IA32_FEAT_CTRL, fctrl);
msr = rdmsr(MSR_IA32_FEAT_CTRL);