Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
+++ kernel/generic/include/ipc/ipc.h	(revision 08bd04c0993927efd5ac827783788d10e8371cef)
@@ -174,5 +174,5 @@
 extern void ipc_init(void);
 
-extern call_t *ipc_call_alloc(unsigned int);
+extern call_t *ipc_call_alloc(void);
 
 extern errno_t ipc_call_sync(phone_t *, call_t *);