IA32_FEATURE_CONTROL_VMX_EN
(feature_control & IA32_FEATURE_CONTROL_VMX_EN) == 0) {
feature_control | IA32_FEATURE_CONTROL_VMX_EN |
(feature_control & IA32_FEATURE_CONTROL_VMX_EN) == 0) {
if (!(msr & IA32_FEATURE_CONTROL_VMX_EN))