Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision f902d362683090a4d4d8714b068ea5f2987efb8c)
+++ uspace/lib/c/include/ddi.h	(revision 73ac2e9cfc27b4ece704510e8fe908610ae7a583)
@@ -42,6 +42,4 @@
 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