Symbol: X86FSET_AVX512_VP2INT
usr/src/uts/intel/os/cpuid.c
5299
X86FSET_AVX512_VP2INT);
usr/src/uts/intel/os/cpuid.c
6000
{ AV_386_2_AVX512_VP2INT, X86FSET_AVX512_VP2INT },