Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision d0c2bebfdc87b9df8cb7c858eed6cead8e2db0b3)
+++ kernel/generic/include/ipc/ipc.h	(revision 84a1a546f62a2ba0f913f8f1bfce8d4bc68d7aa4)
@@ -200,5 +200,5 @@
 
 extern void ipc_cleanup(void);
-extern void ipc_backsend_err(phone_t *, call_t *, sysarg_t);
+extern void ipc_backsend_err(phone_t *, call_t *, int);
 extern void ipc_answerbox_slam_phones(answerbox_t *, bool);
 extern void ipc_cleanup_call_list(answerbox_t *, list_t *);