Index: uspace/lib/libc/include/ddi.h
===================================================================
--- uspace/lib/libc/include/ddi.h	(revision 953bc1efafe8161834d87acae8f871ef640154a5)
+++ uspace/lib/libc/include/ddi.h	(revision cfe7716bf85413141220c5c75d82d669b65455dc)
@@ -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