Changes in kernel/generic/include/ipc/ipcrsc.h [2c0e5d2:96b02eb9] in mainline

File:

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

kernel/generic/include/ipc/ipcrsc.h

@@ -39 +39 @@
 #include <ipc/ipc.h>
 
-extern call_t * get_call(unative_t callid);
+extern call_t * get_call(sysarg_t callid);
 extern int phone_alloc(task_t *t);
 extern void phone_connect(int phoneid, answerbox_t *box);