pub const XED_CPUID_REC_AVX512_FP16: xed_cpuid_rec_enum_t = 28;