Symbol: SEFF0EBX_AVX512VL
sys/arch/amd64/include/specialreg.h
247
#define SEFF0EBX_AVX512VL 0x80000000 /* AVX-512 vector len inst */
sys/arch/i386/include/specialreg.h
187
#define SEFF0EBX_AVX512VL 0x80000000 /* AVX-512 vector len inst */