Index: generic/src/ddi/ddi.c
===================================================================
--- generic/src/ddi/ddi.c	(revision 9179d0a6299a4d323ae9d92fa05a3ba1b5aef960)
+++ generic/src/ddi/ddi.c	(revision bdc5c516b811c2d1871bfaaf83a3c1fa14c86fc4)
@@ -204,9 +204,2 @@
 	return (__native) ddi_iospace_enable((task_id_t) arg.task_id, (__address) arg.ioaddr, (size_t) arg.size);
 }
-
-__native ddi_int_control(__native enable, __native *flags)
-{
-	if (! cap_get(TASK) & CAP_INT_CONTROL)
-		return EPERM;
-	return ddi_int_control_arch(enable, flags);
-}