sbridge_printk   1187 drivers/edac/sb_edac.c 		sbridge_printk(KERN_ERR,
sbridge_printk   1634 drivers/edac/sb_edac.c 					sbridge_printk(KERN_ERR, "CPU SrcID #%d, Ha #%d, Channel #%d has DIMMs, but ECC is disabled\n",
sbridge_printk   2342 drivers/edac/sb_edac.c 	sbridge_printk(KERN_DEBUG,
sbridge_printk   2362 drivers/edac/sb_edac.c 		sbridge_printk(KERN_INFO,
sbridge_printk   2396 drivers/edac/sb_edac.c 		sbridge_printk(KERN_ERR,
sbridge_printk   2415 drivers/edac/sb_edac.c 		sbridge_printk(KERN_ERR,
sbridge_printk   2553 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Some needed devices are missing\n");
sbridge_printk   2557 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Unexpected device %02x:%02x\n",
sbridge_printk   2638 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Some needed devices are missing\n");
sbridge_printk   2642 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR,
sbridge_printk   2729 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Some needed devices are missing\n");
sbridge_printk   2810 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Some needed devices are missing\n");
sbridge_printk   2840 drivers/edac/sb_edac.c 				sbridge_printk(KERN_ERR,
sbridge_printk   2862 drivers/edac/sb_edac.c 				sbridge_printk(KERN_ERR,
sbridge_printk   2887 drivers/edac/sb_edac.c 				sbridge_printk(KERN_ERR,
sbridge_printk   2906 drivers/edac/sb_edac.c 			sbridge_printk(KERN_ERR, "Unexpected device %d\n",
sbridge_printk   2920 drivers/edac/sb_edac.c 			sbridge_printk(KERN_ERR, "Missing channel %d\n", i);
sbridge_printk   2927 drivers/edac/sb_edac.c 			sbridge_printk(KERN_ERR, "Missing CHA %d\n", i);
sbridge_printk   2935 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Some needed devices are missing\n");
sbridge_printk   3208 drivers/edac/sb_edac.c 		sbridge_printk(KERN_ERR, "Couldn't find mci handler\n");
sbridge_printk   3474 drivers/edac/sb_edac.c 	sbridge_printk(KERN_INFO, "%s\n", SBRIDGE_REVISION);
sbridge_printk   3532 drivers/edac/sb_edac.c 			sbridge_printk(KERN_WARNING, "Loading driver, error reporting disabled.\n");
sbridge_printk   3536 drivers/edac/sb_edac.c 	sbridge_printk(KERN_ERR, "Failed to register device with error %d.\n",