Index: kernel/generic/include/cap/cap.h
===================================================================
--- kernel/generic/include/cap/cap.h	(revision b2a1fd92811bab5d05b74e0c829a43f348315cbc)
+++ kernel/generic/include/cap/cap.h	(revision 09d01f28221887ceaceba6c7bcc2102381ec548f)
@@ -121,5 +121,5 @@
     bool (*)(cap_t *, void *), void *);
 
-extern cap_handle_t cap_alloc(struct task *);
+extern int cap_alloc(struct task *, cap_handle_t *);
 extern void cap_publish(struct task *, cap_handle_t, kobject_t *);
 extern kobject_t *cap_unpublish(struct task *, cap_handle_t, kobject_type_t);
Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision b2a1fd92811bab5d05b74e0c829a43f348315cbc)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 09d01f28221887ceaceba6c7bcc2102381ec548f)
@@ -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);