diff --git a/src/include/device/device.h b/src/include/device/device.h
index 72df751..46efbfe 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -256,6 +256,7 @@
 
 extern struct device_operations default_dev_ops_root;
 void pci_domain_read_resources(struct device *dev);
+void pci_domain_set_resources(struct device *dev);
 void pci_domain_scan_bus(struct device *dev);
 
 void fixed_io_resource(struct device *dev, unsigned long index,