Index: generic/include/ipc/ipc.h
===================================================================
--- generic/include/ipc/ipc.h	(revision dabe6333033ab3fdefc2073afacfd46f2a7cb686)
+++ generic/include/ipc/ipc.h	(revision ff14c520ac9ef1cfa24af4cbbfd3235d2bda51c5)
@@ -100,4 +100,7 @@
  *                       indicating that it wants to be connected to some
  *                       service
+ *                     - arg1/2 are user specified, arg3 contains
+ *                       address of the phone that should be connected
+ *                       (TODO: it leaks to userspace)
  *   recepient         -  if ipc_answer == 0, then accept connection
  *                     -  otherwise connection refused
@@ -171,4 +174,5 @@
 extern void ipc_call_init(call_t *call);
 extern void ipc_forward(call_t *call, answerbox_t *newbox,answerbox_t *oldbox);
+extern void task_print_list(void);
 
 extern answerbox_t *ipc_phone_0;