Symbol: X86FSET_AVX512_VBMI2
usr/src/uts/intel/os/cpuid.c
3917
add_x86_feature(featureset, X86FSET_AVX512_VBMI2);
usr/src/uts/intel/os/cpuid.c
5303
X86FSET_AVX512_VBMI2);
usr/src/uts/intel/os/cpuid.c
6005
{ AV_386_3_AVX512_VBMI2, X86FSET_AVX512_VBMI2 },