Symbol: X86FSET_VMX
usr/src/uts/intel/os/cpuid.c
4568
add_x86_feature(featureset, X86FSET_VMX);
usr/src/uts/intel/os/cpuid.c
5967
{ AV_386_VMX, X86FSET_VMX },
usr/src/uts/intel/os/hma.c
527
if (!is_x86_feature(x86_featureset, X86FSET_VMX)) {