From 6e5a3858bff856e41955523e8ffc0251ce601d80 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Sat, 16 Apr 2005 11:16:31 +0000
Subject: Read number of PCI buses returned by BIOS so that we can scan more
 quickly.

---
 src/include/pci.h | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/include')

diff --git a/src/include/pci.h b/src/include/pci.h
index ee1631de8..9b7fcadae 100644
--- a/src/include/pci.h
+++ b/src/include/pci.h
@@ -318,6 +318,13 @@ extern int pci_write_config_dword ( struct pci_device *dev, unsigned int where,
 				    uint32_t value );
 extern unsigned long pci_bus_base ( struct pci_device *dev );
 
+/*
+ * pci_io.c is allowed to overwrite pci_max_bus if it knows what the
+ * highest bus in the system will be.
+ *
+ */
+extern unsigned int pci_max_bus;
+
 /*
  * Functions in pci.c
  *
-- 
cgit v1.2.3-55-g7522