Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ generic/include/ddi/ddi.h	(revision e692a27a94144915c2caeadca44e573b14cf107b)
@@ -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);