/* This routine generates to the provided buffer the driver-unique EDAC report message from the specified ECC status.  */
static void ppc4xx_edac_generate_message(const struct mem_ctl_info *mci, const struct ppc4xx_ecc_status *status, char *buffer, size_t size)
/* This routine generates to the provided buffer the driver-unique EDAC report message from the specified ECC status.  */
static void ppc4xx_edac_generate_message(const struct mem_ctl_info *mci, const struct ppc4xx_ecc_status *status, char *buffer, size_t size)
{
	int n;
	if (buffer == NULL || size == 0)
		return;
	n = ppc4xx_edac_generate_ecc_message(mci, status, buffer, size);
	if (n < 0 || n >= size)
		return;
	buffer += n;
	size -= n;
	ppc4xx_edac_generate_plb_message(mci, status, buffer, size);
}