Changes in uspace/lib/c/include/ddi.h [64d2b10:2fa10f6] in mainline

File:

• uspace/lib/c/include/ddi.h (modified) (2 diffs)

uspace/lib/c/include/ddi.h

@@ -36 +36 @@
 #define LIBC_DDI_H_
 
-#include <sys/types.h>
-#include <kernel/ddi/irq.h>
 #include <task.h>
 
@@ -44 +42 @@
 extern int iospace_enable(task_id_t, void *, unsigned long);
 extern int pio_enable(void *, size_t, void **);
-extern int register_irq(int, int, int, irq_code_t *);
-extern int unregister_irq(int, int);
 
 #endif