Changes in kernel/generic/include/ipc/irq.h [96b02eb9:da1bafb] in mainline

File:

• kernel/generic/include/ipc/irq.h (modified) (2 diffs)

kernel/generic/include/ipc/irq.h

@@ -44 +44 @@
 #include <adt/list.h>
 
-extern int ipc_irq_register(answerbox_t *, inr_t, devno_t, sysarg_t,
+extern int ipc_irq_register(answerbox_t *, inr_t, devno_t, unative_t,
     irq_code_t *);
 
@@ -75 +75 @@
         ipc_irq_send_msg((irq), (a1), (a2), (a3), (a4), (a5))
 
-extern void ipc_irq_send_msg(irq_t *, sysarg_t, sysarg_t, sysarg_t, sysarg_t,
-    sysarg_t);
+extern void ipc_irq_send_msg(irq_t *, unative_t, unative_t, unative_t, unative_t,
+    unative_t);
 
 #endif