Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
+++ kernel/generic/include/ipc/ipc.h	(revision d1744fd7756b14efee2426969f0f49ee04c302c7)
@@ -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 *);