Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision 24f3874a4a82af6978a92f03e6b9dee9674ab008)
+++ generic/include/ddi/ddi.h	(revision e3c762cdcb8d0aafcf71fd9b78017dd48ac328e2)
@@ -40,6 +40,4 @@
  * 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_iospace_enable_arch(task_t *task, __address ioaddr, size_t size);