amd64_err        2651 drivers/edac/amd64_edac.c 			amd64_err("F0 not found, device 0x%x (broken BIOS?)\n", pci_id1);
amd64_err        2660 drivers/edac/amd64_edac.c 			amd64_err("F6 not found: device 0x%x (broken BIOS?)\n", pci_id2);
amd64_err        2674 drivers/edac/amd64_edac.c 		amd64_err("F1 not found: device 0x%x (broken BIOS?)\n", pci_id1);
amd64_err        2684 drivers/edac/amd64_edac.c 		amd64_err("F2 not found: device 0x%x (broken BIOS?)\n", pci_id2);
amd64_err        3384 drivers/edac/amd64_edac.c 		amd64_err("Unsupported family!\n");
amd64_err        3563 drivers/edac/amd64_edac.c 		amd64_err("Error probing instance: %d\n", nid);
amd64_err        3703 drivers/edac/amd64_edac.c 	amd64_err("%s on 32-bit is unsupported. USE AT YOUR OWN RISK!\n", EDAC_MOD_STR);