Use pci_name() rather than "%02x:%02x" when printing PCI
address information.
Signed-off-by: Bjorn Helgaas <[email protected]>
===== arch/i386/pci/pcbios.c 1.17 vs edited =====
--- 1.17/arch/i386/pci/pcbios.c 2004-07-11 06:41:13 -06:00
+++ edited/arch/i386/pci/pcbios.c 2005-01-11 09:41:24 -07:00
@@ -385,8 +385,8 @@
}
}
if (!found) {
- printk(KERN_WARNING "PCI: Device %02x:%02x not found by BIOS\n",
- dev->bus->number, dev->devfn);
+ printk(KERN_WARNING "PCI: Device %s not found by BIOS\n",
+ pci_name(dev));
list_del(&dev->global_list);
list_add_tail(&dev->global_list, &sorted_devices);
}
On Tue, Jan 11, 2005 at 04:16:36PM -0700, Bjorn Helgaas wrote:
> Use pci_name() rather than "%02x:%02x" when printing PCI
> address information.
>
> Signed-off-by: Bjorn Helgaas <[email protected]>
Applied, thanks.
greg k-h