PCI driver debug output fix

- bus number (busnr) must be used instead of internal busind

diff --git a/drivers/pci/pci.c b/drivers/pci/pci.c
index e64e91edd50528cf56781276ed30d14f1625b24c..a55d512900d9cfd1c71fcdc300b9b985d76e5de9 100644 (file)
--- a/drivers/pci/pci.c
+++ b/drivers/pci/pci.c
@@ -838,7 +838,7 @@ PRIVATE void probe_bus(int busind)
                                if (dstr)
                                {
                                        printf("%d.%lu.%lu: %s (%04X/%04X)\n",
-                                               busind, (unsigned long)dev,
+                                               busnr, (unsigned long)dev,
                                                (unsigned long)func, dstr,
                                                vid, did);
                                }
@@ -846,7 +846,7 @@ PRIVATE void probe_bus(int busind)
                                {
                                        printf(
                "%d.%lu.%lu: Unknown device, vendor %04X (%s), device %04X\n",
-                                               busind, (unsigned long)dev,
+                                               busnr, (unsigned long)dev,
                                                (unsigned long)func, vid,
                                                pci_vid_name(vid), did);
                                }