Changes in kernel/generic/include/ipc/sysipc.h [0016674:9233e9d] in mainline

File:

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

kernel/generic/include/ipc/sysipc.h

@@ -59 +59 @@
 extern sysarg_t sys_ipc_irq_unsubscribe(sysarg_t);
 
-extern sysarg_t sys_ipc_connect_kbox(task_id_t *, cap_handle_t *);
+#ifdef __32_BITS__
+
+extern sysarg_t sys_ipc_connect_kbox(sysarg64_t *);
+
+#endif  /* __32_BITS__ */
+
+#ifdef __64_BITS__
+
+extern sysarg_t sys_ipc_connect_kbox(sysarg_t);
+
+#endif  /* __64_BITS__ */
 
 #endif