Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision ae6021df81b7a2a9a1f9798557d070693a922d88)
+++ kernel/generic/include/ipc/sysipc.h	(revision 6eda732ba8d96df367a3cabf0837e6ef849f6568)
@@ -40,5 +40,5 @@
 #include <typedefs.h>
 
-extern int ipc_req_internal(int, ipc_data_t *);
+extern int ipc_req_internal(int, ipc_data_t *, sysarg_t);
 
 extern sysarg_t sys_ipc_call_async_fast(sysarg_t, sysarg_t, sysarg_t,