Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision 6dbe7f68034b7e32c3421c2992cd5663766d56be)
+++ kernel/generic/include/ddi/ddi.h	(revision 4dc7a849b2a316c7d909dd3603c70a012433c8b4)
@@ -70,4 +70,5 @@
  */
 extern int ddi_iospace_enable_arch(task_t *, uintptr_t, size_t);
+extern int ddi_iospace_disable_arch(task_t *, uintptr_t, size_t);
 
 #endif