pub const XED_EXCEPTION_AVX_TYPE_4M: xed_exception_enum_t = 56;