Index: generic/include/ipc/ipc.h
===================================================================
--- generic/include/ipc/ipc.h	(revision c4e45073fbe4143fbb4ab29aa6875ecdc374466e)
+++ generic/include/ipc/ipc.h	(revision 9c1c677109242df29e86affb8527c36e254031e2)
@@ -225,5 +225,5 @@
 extern void task_print_list(void);
 extern int ipc_forward(call_t *call, phone_t *newphone, answerbox_t *oldbox);
-extern void ipc_cleanup(task_t *task);
+void ipc_cleanup(void);
 extern int ipc_phone_hangup(phone_t *phone, int aggressive);
 extern void ipc_backsend_err(phone_t *phone, call_t *call, __native err);