1  #define AVX512VL(ebx) (ebx & bit_AVX512VL)
       2  #define XSTATE_MASK (XSTATE_SSE | XSTATE_OPMASK)
       3  #include "avx512fp16-check.h"