Changes in kernel/generic/include/ipc/ipcrsc.h [09d01f2:48bcf49] in mainline

File:

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

kernel/generic/include/ipc/ipcrsc.h

@@ -40 +40 @@
 #include <cap/cap.h>
 
-extern int phone_alloc(task_t *, cap_handle_t *);
+extern call_t *get_call(sysarg_t);
+extern cap_handle_t phone_alloc(task_t *);
 extern bool phone_connect(cap_handle_t, answerbox_t *);
 extern void phone_dealloc(cap_handle_t);