Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ generic/include/ddi/ddi.h	(revision cf85e24c9b6fc5900e0535710b65384f89867e00)
@@ -40,4 +40,6 @@
  * Interface to be implemented by all architectures.
  */
+extern __native ddi_int_control_arch(__native enable, __native *flags);
+extern __native ddi_int_control(__native enable, __native *flags);
 extern int ddi_enable_iospace_arch(task_t *task, __address ioaddr, size_t size);