Changes in kernel/generic/include/ipc/kbox.h [9d58539:569a51a] in mainline

File:

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

kernel/generic/include/ipc/kbox.h

@@ -50 +50 @@
 } 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);