Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision 963074b3ec6ea15686d0e384d696e199e2b7741b)
+++ generic/src/proc/task.c	(revision 17b1b995af0dceb89d3a300e9b4f48e5c8a1b799)
@@ -213,9 +213,9 @@
 		
 			spinlock_lock(&t->lock);
-			printf("%s: address=%P, taskid=%Q, as=%P, ActiveCalls: %d",
+			printf("%s: address=%#zX, taskid=%#llX, as=%#zX, ActiveCalls: %zd",
 				t->name, t, t->taskid, t->as, atomic_get(&t->active_calls));
 			for (j=0; j < IPC_MAX_PHONES; j++) {
 				if (t->phones[j].callee)
-					printf(" Ph(%d): %P ", j, t->phones[j].callee);
+					printf(" Ph(%zd): %#zX ", j, t->phones[j].callee);
 			}
 			printf("\n");