Changes in kernel/generic/include/ipc/irq.h [5a6cc679:eadaeae8] in mainline

File:

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

kernel/generic/include/ipc/irq.h

@@ -52 +52 @@
 
 extern errno_t ipc_irq_subscribe(answerbox_t *, inr_t, sysarg_t, irq_code_t *,
-    cap_handle_t *);
-extern errno_t ipc_irq_unsubscribe(answerbox_t *, int);
+    cap_irq_handle_t *);
+extern errno_t ipc_irq_unsubscribe(answerbox_t *, cap_irq_handle_t);
 
 /*