Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 63d8f43468baaa1f20964c35b3aea13f36dd3e2c)
+++ kernel/generic/src/proc/task.c	(revision fa32c9fed494a266a88de2f081478dff9fe4f31f)
@@ -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);