Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision 24f3874a4a82af6978a92f03e6b9dee9674ab008)
+++ generic/include/ddi/ddi.h	(revision 22cf454db08f8dc472db143a6567d89fb30cc29d)
@@ -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);