diff options
Diffstat (limited to 'src/devices')
| -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 3373c8481c..10e6d23048 100644 --- a/src/devices/pci_device.c +++ b/src/devices/pci_device.c @@ -950,7 +950,7 @@ device_t pci_probe_dev(device_t dev, struct bus * bus, unsigned devfn) if ((id == 0xffffffff) || (id == 0x00000000) || (id == 0x0000ffff) || (id == 0xffff0000)) { if (dev->enabled) { - printk_info("Disabling static device: %s\n", + printk_info("PCI: Static device %s not found, disabling it.\n", dev_path(dev)); dev->enabled = 0; } |