Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision acc7ce4f9be635e9051884b563142089f38803c4)
+++ kernel/generic/src/ipc/ipc.c	(revision 9d120591caf0914cf2d50c741bcb06d4c3cec088)
@@ -706,6 +706,7 @@
 				break;
 			case IPC_PHONE_CONNECTED:
-				printf("connected to: %p ",
-				    task->phones[i].callee);
+				printf("connected to: %p (%" PRIu64 ") ",
+				    task->phones[i].callee,
+				    task->phones[i].callee->task->taskid);
 				break;
 			case IPC_PHONE_SLAMMED: