Symbol: X86FSET_BMI1
usr/src/uts/intel/os/cpuid.c
3870
add_x86_feature(featureset, X86FSET_BMI1);
usr/src/uts/intel/os/cpuid.c
5257
X86FSET_BMI1);
usr/src/uts/intel/os/cpuid.c
5974
{ AV_386_2_BMI1, X86FSET_BMI1 },