Index: uspace/lib/libc/include/ddi.h
===================================================================
--- uspace/lib/libc/include/ddi.h	(revision 953bc1efafe8161834d87acae8f871ef640154a5)
+++ uspace/lib/libc/include/ddi.h	(revision 7f8b5815070a70217f19184d31a4e8837c21346f)
@@ -43,5 +43,6 @@
 extern int preemption_control(int);
 extern int pio_enable(void *, size_t, void **);
-extern int interrupt_enable(int, int);
+extern int interrupt_enable(int);
+extern int interrupt_disable(int);
 
 #endif