No subject
Sun Dec 9 17:34:17 CET 2012
Use dev_path() to have nice debug output
patch is run-time tested
Trivial, thus:
Signed-off-by: Stefan Reinauer <stepan at coresystems.de>
Acked-by: Stefan Reinauer <stepan at coresystems.de>
Modified: trunk/coreboot-v2/src/devices/pci_device.c
===================================================================
--- trunk/coreboot-v2/src/devices/pci_device.c 2008-09-10 20:40:46 UTC (rev 3571)
+++ trunk/coreboot-v2/src/devices/pci_device.c 2008-09-11 06:52:22 UTC (rev 3572)
@@ -923,7 +923,7 @@
if ( (id == 0xffffffff) || (id == 0x00000000) ||
(id == 0x0000ffff) || (id == 0xffff0000))
{
- printk_spew("PCI: devfn 0x%x, bad id 0x%x\n", devfn, id);
+ printk_spew("%s, bad id 0x%x\n", dev_path(&dummy), id);
return NULL;
}
dev = alloc_dev(bus, &dummy.path);
More information about the coreboot
mailing list