FEAT_CTL_VMX_ENABLED_INSIDE_SMX
msr |= FEAT_CTL_VMX_ENABLED_INSIDE_SMX;
if ( (tboot && !(msr & FEAT_CTL_VMX_ENABLED_INSIDE_SMX)) ||
FEAT_CTL_VMX_ENABLED_INSIDE_SMX | \
FEAT_CTL_VMX_ENABLED_INSIDE_SMX |
~(FEAT_CTL_VMX_ENABLED_INSIDE_SMX |
__ia32_feature_control_msr_test(vcpu, FEAT_CTL_VMX_ENABLED_INSIDE_SMX, X86_FEATURE_SMX);
__ia32_feature_control_msr_test(vcpu, FEAT_CTL_VMX_ENABLED_INSIDE_SMX, X86_FEATURE_VMX);
FEAT_CTL_VMX_ENABLED_INSIDE_SMX |