Changes in kernel/generic/include/ipc/irq.h [9306cd7:8820544] in mainline

File:

• kernel/generic/include/ipc/irq.h (modified) (1 diff)

kernel/generic/include/ipc/irq.h

@@ -47 +47 @@
 #include <adt/list.h>
 
+extern int ipc_irq_subscribe(answerbox_t *, inr_t, devno_t, sysarg_t,
+    irq_code_t *);
 
 extern irq_ownership_t ipc_irq_top_half_claim(irq_t *);
 extern void ipc_irq_top_half_handler(irq_t *);
 
-extern int ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, irq_code_t *);
-extern int ipc_irq_unsubscribe(answerbox_t *, int);
+extern int ipc_irq_unsubscribe(answerbox_t *, inr_t, devno_t);
+extern void ipc_irq_cleanup(answerbox_t *);
 
 /*