Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision 001667409fe983adba70256d5d79278a7e0e12bd)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 3529fbf0dcb9c1b1a37194a16e000ee253b245a3)
@@ -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);