diff --git a/include/device/device.h b/include/device/device.h
index 039d63c714..cbd861640c 100644
--- a/include/device/device.h
+++ b/include/device/device.h
@@ -24,6 +24,7 @@
 #include <types.h>
 #include <device/resource.h>
 #include <device/path.h>
+#include <shared.h>
 
 /**
  * Create a 32-bit value from four characters. This is better
@@ -268,8 +269,10 @@ struct device * find_dev_path(struct bus *parent, struct device_path *path);
 struct device * alloc_find_dev(struct bus *parent, struct device_path *path, struct device_id *id);
 struct device * dev_find_device (struct device_id *devid, struct device * from);
 struct device *dev_find_pci_device(u16 vendor, u16 device, struct device *from);
+EXPORT_SYMBOL(dev_find_pci_device);
 struct device * dev_find_class (unsigned int class, struct device * from);
 struct device * dev_find_slot (unsigned int bus, unsigned int devfn);
+EXPORT_SYMBOL(dev_find_slot);
 struct device * dev_find_slot_on_smbus (unsigned int bus, unsigned int addr);
 void default_device_constructor(struct device *dev, struct device_operations *constructor);
 
diff --git a/include/device/pci_ops.h b/include/device/pci_ops.h
index bcc60e6d17..5e7cab61cc 100644
--- a/include/device/pci_ops.h
+++ b/include/device/pci_ops.h
@@ -24,11 +24,17 @@
 #include <shared.h>
 
 u8 pci_read_config8(struct device * dev, unsigned where);
+EXPORT_SYMBOL(pci_read_config8);
 u16 pci_read_config16(struct device * dev, unsigned where);
+EXPORT_SYMBOL(pci_read_config16);
 u32 pci_read_config32(struct device * dev, unsigned where);
+EXPORT_SYMBOL(pci_read_config32);
 void pci_write_config8(struct device * dev, unsigned where, u8 val);
+EXPORT_SYMBOL(pci_write_config8);
 void pci_write_config16(struct device * dev, unsigned where, u16 val);
+EXPORT_SYMBOL(pci_write_config16);
 void pci_write_config32(struct device * dev, unsigned where, u32 val);
+EXPORT_SYMBOL(pci_write_config32);
 
 u8 pci_conf1_read_config8(u32 bdf, int where);
 EXPORT_SYMBOL(pci_conf1_read_config8);
diff --git a/lib/stage2.c b/lib/stage2.c
index 175cb8152c..5fcadf85f1 100644
--- a/lib/stage2.c
+++ b/lib/stage2.c
@@ -93,3 +93,4 @@ int stage2(void)
 
 	return 0;
 }
+EXPORT_SYMBOL(stage2);