Changes in kernel/generic/include/ipc/kbox.h [569a51a:9d58539] 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, cap_handle_t *);
+extern int ipc_connect_kbox(task_id_t);
 extern void ipc_kbox_cleanup(void);