pub const XED_CHIP_PENTIUMMMXREAL: xed_chip_enum_t = 16;