Index: generic/src/ddi/ddi.c
===================================================================
--- generic/src/ddi/ddi.c	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ generic/src/ddi/ddi.c	(revision 6ecc8bce45bcc67b6373d7dbfafad230f5b1ee01)
@@ -195,2 +195,10 @@
 	return (__native) ddi_enable_iospace((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);
+}
+