Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision d2e0a8cbdc868471a5aa81a0fdf2146f08e15740)
+++ kernel/generic/include/ipc/ipc.h	(revision b61d47d14bdea0c512d1a9a0ce603ef37ac239bc)
@@ -139,5 +139,5 @@
  *                       indicating that it wants to be connected to some
  *                       service
- *                     - arg1/2 are user specified, arg3 contains
+ *                     - arg1/2/3 are user specified, arg5 contains
  *                       address of the phone that should be connected
  *                       (TODO: it leaks to userspace)
Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision d2e0a8cbdc868471a5aa81a0fdf2146f08e15740)
+++ kernel/generic/include/ipc/sysipc.h	(revision b61d47d14bdea0c512d1a9a0ce603ef37ac239bc)
@@ -53,5 +53,5 @@
     int nonblocking);
 unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid,
-    unative_t method, unative_t arg1, int mode);
+    unative_t method, unative_t arg1, unative_t arg2, int mode);
 unative_t sys_ipc_hangup(int phoneid);
 unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method,