diff options
| -rw-r--r-- | src/devices/pci_device.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devices/pci_device.c b/src/devices/pci_device.c index 00910f2a8b..7fb86933be 100644 --- a/src/devices/pci_device.c +++ b/src/devices/pci_device.c @@ -923,7 +923,7 @@ device_t pci_probe_dev(device_t dev, struct bus *bus, unsigned devfn) 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); |