Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ contrib/arch/kernel/kernel.adl	(revision 064e0fd3dd59d9aa7137ab66a590344cd891fddd)
@@ -115,14 +115,14 @@
 
 		/* Fast forward a received IPC call to another destination */
-		sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
+		sysarg_t sys_ipc_forward_fast(sysarg_t chandle, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
 
 		/* Slow forward a received IPC call to another destination */
-		sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid, ipc_data_t *data, int mode);
+		sysarg_t sys_ipc_forward_slow(sysarg_t chandle, sysarg_t phoneid, ipc_data_t *data, int mode);
 
 		/* Fast answer an IPC call */
-		sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
+		sysarg_t sys_ipc_answer_fast(sysarg_t chandle, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
 
 		/* Slow answer an IPC call */
-		sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
+		sysarg_t sys_ipc_answer_slow(sysarg_t chandle, ipc_data_t *data);
 
 		/* Hang up a phone */