Index: linux/drivers/pci/pci.c
--- linux/drivers/pci/pci.c.old	Wed Oct 24 19:16:12 2001
+++ linux/drivers/pci/pci.c	Thu Oct 25 21:53:13 2001
@@ -2087,2 +2087,6 @@
 EXPORT_SYMBOL (pci_pool_free);
 
+/* Interface to /proc/bus */
+
+EXPORT_SYMBOL(pci_proc_attach_device);
+EXPORT_SYMBOL(pci_proc_detach_device);