Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision ae6021df81b7a2a9a1f9798557d070693a922d88)
+++ kernel/generic/include/ipc/sysipc.h	(revision d701672cfbc89b61a58acf8b6c2ffa3b53e13fe6)
@@ -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,