Changes in kernel/generic/include/ipc/ipcrsc.h [4e5dabf:9d58539] 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(sysarg_t);
-extern int phone_alloc(task_t *);
-extern void phone_connect(int, answerbox_t *);
-extern void phone_dealloc(int);
+extern call_t * get_call(sysarg_t callid);
+extern int phone_alloc(task_t *t);
+extern void phone_connect(int phoneid, answerbox_t *box);
+extern void phone_dealloc(int phoneid);
 
 #endif