Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision 963074b3ec6ea15686d0e384d696e199e2b7741b)
+++ generic/src/proc/task.c	(revision 12c7f27b4fc44ac2d4bb7ef6ea741ea7a8ad1dff)
@@ -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");