Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 2fa10f640409c06070df4329491173719b3e824c)
+++ uspace/lib/c/include/ddi.h	(revision 626182dd7b78da91aab98265b7dfb7a86dfa801f)
@@ -42,4 +42,6 @@
 extern int iospace_enable(task_id_t, void *, unsigned long);
 extern int pio_enable(void *, size_t, void **);
+extern int interrupt_enable(int);
+extern int interrupt_disable(int);
 
 #endif