ecc_printf
ecc_printf(sc, "memory type: ECC\n");
ecc_printf(sc, "memory type: NON-ECC\n");
ecc_printf(sc, "ecc mode: DISABLED\n");
ecc_printf(sc, "ecc mode: ENABLED/CORRECT-MODE\n");
ecc_printf(sc, "ecc mode: ENABLED/RESERVED (disabled)\n");
ecc_printf(sc, "ecc mode: ENABLED/CHIPKILL-MODE\n");
ecc_printf(sc, "Correctable ECC error at %08x\n", addr);
ecc_printf(sc, "Uncorrectable ECC error at %08x\n", addr);
ecc_printf(sc, "LOG0_C0 %#x\n",
ecc_printf(sc, "LOG0_C1 %#x\n",
ecc_printf(sc, "No ECC active\n");
ecc_printf(sc, "channel0, invalid ECC "
ecc_printf(sc, "channel1, invalid ECC "
ecc_printf(sc, "No ECC active\n");
ecc_printf(sc, "MCHBAR is not enabled\n");
ecc_printf(sc, "channel%d, no ECC active\n", chanid);
ecc_printf(sc, "channel%d, ECC active IO/logic\n",
ecc_printf(sc, "channel%d, "
ecc_printf(sc, "channel%d, "
ecc_printf(sc, "channel%d, "
ecc_printf(sc, "channel%d rank%d %serror\n", chan->chan_id,
ecc_printf(sc, "too many ECC errors %d\n", sc->ecc_count);
ecc_printf(sc, "DDR4\n");
ecc_printf(sc, "native %s\n",
ecc_printf(sc, "unknown rank count 0x%x\n", val);
ecc_printf(sc, "unknown ddr3 width 0x%x\n", val);
ecc_printf(sc, "unknown ddr3 density 0x%x\n", val);
ecc_printf(sc, "DIMM%d %dGB, %d%s, density %dGB\n",
ecc_printf(sc, "too many ranks\n");
ecc_printf(sc, "ECC is not enabled\n");
ecc_printf(sc, "channel%d rank%d critical error\n",
ecc_printf(sc, "%s has too many errors\n", desc0);
ecc_printf(sc, "%s has %d errors", desc0, err0);
ecc_printf(sc, "%s has too many errors\n", desc1);
ecc_printf(sc, "%s has %d errors\n", desc1, err1);