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