ppc4xx_edac_printk 1187 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_ERR, ppc4xx_edac_printk 1193 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_ERR, ppc4xx_edac_printk 1204 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_INFO, "Failed to map DCRs.\n"); ppc4xx_edac_printk 1239 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_NOTICE, ppc4xx_edac_printk 1264 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_INFO, "%pOF: No ECC memory detected or " ppc4xx_edac_printk 1284 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_ERR, "%pOF: " ppc4xx_edac_printk 1385 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_INFO, "Reporting type: %s\n", ppc4xx_edac_printk 1404 drivers/edac/ppc4xx_edac.c ppc4xx_edac_printk(KERN_INFO, PPC4XX_EDAC_MODULE_REVISION "\n");