diff --git a/src/drivers/bus/pci.c b/src/drivers/bus/pci.c
index 892eb0b7..03b93672 100644
--- a/src/drivers/bus/pci.c
+++ b/src/drivers/bus/pci.c
@@ -87,7 +87,7 @@ static int fill_pci_device ( struct pci_device *pci ) {
  * Set device to be a busmaster in case BIOS neglected to do so.  Also
  * adjust PCI latency timer to a reasonable value, 32.
  */
-static void adjust_pci_device ( struct pci_device *pci ) {
+void adjust_pci_device ( struct pci_device *pci ) {
 	unsigned short	new_command, pci_command;
 	unsigned char	pci_latency;
 
diff --git a/src/include/pci.h b/src/include/pci.h
index f2ba6c98..36edc0f5 100644
--- a/src/include/pci.h
+++ b/src/include/pci.h
@@ -325,6 +325,7 @@ extern unsigned long pci_bus_base ( struct pci_device *dev );
 extern struct pci_device * pci_device ( struct dev *dev );
 extern int find_pci_device ( struct pci_device *pci,
 			     struct pci_driver *driver );
+extern void adjust_pci_device ( struct pci_device *pci );
 extern unsigned long pci_bar_start ( struct pci_device *pci,
 				     unsigned int bar );
 extern unsigned long pci_bar_size ( struct pci_device *pci, unsigned int bar );