Symbol: CPUID_INTC_EBX_7_0_BMI2
usr/src/uts/intel/os/cpuid.c
3872
if (cpi->cpi_std[7].cp_ebx & CPUID_INTC_EBX_7_0_BMI2)
usr/src/uts/intel/os/cpuid.c
4360
ecp->cp_ebx &= ~CPUID_INTC_EBX_7_0_BMI2;