Symbol: CPUID_INTC_EBX_7_0_AVX512F
usr/src/uts/intel/os/cpuid.c
3888
if ((cpi->cpi_std[7].cp_ebx & CPUID_INTC_EBX_7_0_AVX512F) == 0)
usr/src/uts/intel/sys/x86_archext.h
421
(CPUID_INTC_EBX_7_0_AVX512F | CPUID_INTC_EBX_7_0_AVX512DQ | \