Symbol: SEFF0ECX_AVX512VBMI
sys/arch/amd64/include/specialreg.h
258
#define SEFF0ECX_AVX512VBMI 0x00000002 /* AVX-512 vector bit inst */
sys/arch/i386/include/specialreg.h
190
#define SEFF0ECX_AVX512VBMI 0x00000002 /* AVX-512 vector bit inst */