Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 228e490270cec3d6a6de666f61839f0d9ed5f193)
+++ kernel/generic/src/ipc/ipc.c	(revision a0ce870840bae13124d349be1c51897d54caf223)
@@ -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: