FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX
msr |= FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX;
(!tboot && !(msr & FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX))) {
| FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX;
FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX | \
FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX;
FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX);
required = FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX;
__ia32_feature_control_msr_test(vcpu, FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX, X86_FEATURE_VMX);
FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX |