pub const XED_CPUID_REC_AVX10_128VL: xed_cpuid_rec_enum_t = 10;