pub const XED_CHIP_PENTIUMREAL: xed_chip_enum_t = 13;