Symbol: CPUID_INTC_ECX_AVX
usr/src/uts/intel/os/cpuid.c
3854
if ((cpi->cpi_std[1].cp_ecx & CPUID_INTC_ECX_AVX) == 0)
usr/src/uts/intel/os/cpuid.c
4318
mask_ecx &= ~CPUID_INTC_ECX_AVX;