pub const XED_CPUID_REC_CMPCCXADD: xed_cpuid_rec_enum_t = 47;