Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 63d8f43468baaa1f20964c35b3aea13f36dd3e2c)
+++ kernel/generic/src/proc/task.c	(revision e5f5ce03f9fc114c279f31bd164daf4e6dd8425e)
@@ -625,5 +625,5 @@
 	if (*additional) {
 		for_each_cap(task, cap, CAP_TYPE_PHONE) {
-			phone_t *phone = (void *) &cap->kobject;
+			phone_t *phone = (phone_t *) cap->kobject;
 			if (phone->callee)
 				printf(" %d:%p", cap->handle, phone->callee);