Index: kernel/generic/include/ipc/kbox.h
===================================================================
--- kernel/generic/include/ipc/kbox.h	(revision 9233e9d118684a5593c031918cef402e75d25718)
+++ kernel/generic/include/ipc/kbox.h	(revision 569a51acd0cd10a573e65d239ca788a66e80c2db)
@@ -50,5 +50,5 @@
 } kbox_t;
 
-extern int ipc_connect_kbox(task_id_t);
+extern int ipc_connect_kbox(task_id_t, cap_handle_t *);
 extern void ipc_kbox_cleanup(void);
 
Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision 9233e9d118684a5593c031918cef402e75d25718)
+++ kernel/generic/include/ipc/sysipc.h	(revision 569a51acd0cd10a573e65d239ca788a66e80c2db)
@@ -61,5 +61,5 @@
 #ifdef __32_BITS__
 
-extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *);
+extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *, cap_handle_t *);
 
 #endif  /* __32_BITS__ */
@@ -67,5 +67,5 @@
 #ifdef __64_BITS__
 
-extern sysarg_t sys_ipc_connect_kbox(sysarg_t);
+extern sysarg_t sys_ipc_connect_kbox(sysarg_t, cap_handle_t *);
 
 #endif  /* __64_BITS__ */