Index: generic/include/ipc/ipc.h
===================================================================
--- generic/include/ipc/ipc.h	(revision c4e45073fbe4143fbb4ab29aa6875ecdc374466e)
+++ generic/include/ipc/ipc.h	(revision 2569ec90628757660b8e028954d0481dcbb2c3d7)
@@ -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);