Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 3f74275b545272926eb993b683eae30e42326ab4)
+++ kernel/generic/src/ipc/ipc.c	(revision e68765ee99cd285c57aa4a30d7ac3dfd1598259c)
@@ -913,13 +913,12 @@
 	for_each_cap(task, cap, CAP_TYPE_PHONE) {
 		phone_t *phone = &cap->phone;
-		int cap_handle = cap_get_handle(task, cap);
 	
 		if (SYNCH_FAILED(mutex_trylock(&phone->lock))) {
-			printf("%-11d (mutex busy)\n", cap_handle);
+			printf("%-11d (mutex busy)\n", cap->handle);
 			continue;
 		}
 		
 		if (phone->state != IPC_PHONE_FREE) {
-			printf("%-11d %7" PRIun " ", cap_handle,
+			printf("%-11d %7" PRIun " ", cap->handle,
 			    atomic_get(&phone->active_calls));