MSR_IA32_FEATURE_CONTROL
msr = rdmsr(MSR_IA32_FEATURE_CONTROL);
svm_setmsrbrw(vcpu, MSR_IA32_FEATURE_CONTROL);
vmx_setmsrbrw(vcpu, MSR_IA32_FEATURE_CONTROL);
msr = rdmsr(MSR_IA32_FEATURE_CONTROL);
wrmsr(MSR_IA32_FEATURE_CONTROL, msr);
case MSR_IA32_FEATURE_CONTROL: return "IA32 feature control";
case MSR_IA32_FEATURE_CONTROL: vmm_decode_ia32_fc_value(val); break;