diff --git a/src/include/device/device.h b/src/include/device/device.h
index 7d7be73..39a4d56 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -234,6 +234,9 @@
 void pci_domain_read_resources(struct device *dev);
 void pci_domain_scan_bus(struct device *dev);
 
+void fixed_io_resource(struct device *dev, unsigned long index,
+		unsigned long base, unsigned long size);
+
 void fixed_mem_resource(struct device *dev, unsigned long index,
 		  unsigned long basek, unsigned long sizek, unsigned long type);
 
@@ -259,6 +262,9 @@
 #define mmio_resource(dev, idx, basek, sizek) \
 	fixed_mem_resource(dev, idx, basek, sizek, IORESOURCE_RESERVE)
 
+#define io_resource(dev, idx, base, size) \
+	fixed_io_resource(dev, idx, base, size)
+
 void tolm_test(void *gp, struct device *dev, struct resource *new);
 u32 find_pci_tolm(struct bus *bus);