X86_FEATURE_SMX
if (kvm_cpu_has(X86_FEATURE_SMX))
__ia32_feature_control_msr_test(vcpu, FEAT_CTL_VMX_ENABLED_INSIDE_SMX, X86_FEATURE_SMX);