Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision 001667409fe983adba70256d5d79278a7e0e12bd)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 74a2a2dd5a514e8b4e53569250bf8f7dbee84d26)
@@ -40,5 +40,5 @@
 #include <cap/cap.h>
 
-extern cap_handle_t phone_alloc(task_t *);
+extern int phone_alloc(task_t *, cap_handle_t *);
 extern bool phone_connect(cap_handle_t, answerbox_t *);
 extern void phone_dealloc(cap_handle_t);