Symbol: X86FSET_AVX512VBMI
usr/src/uts/intel/os/cpuid.c
3914
add_x86_feature(featureset, X86FSET_AVX512VBMI);
usr/src/uts/intel/os/cpuid.c
5283
X86FSET_AVX512VBMI);
usr/src/uts/intel/os/cpuid.c
5988
{ AV_386_2_AVX512VBMI, X86FSET_AVX512VBMI },