Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
+++ generic/src/proc/task.c	(revision 3c5006a0448fcfb143ebe28a3f43de4bd4bf5e83)
@@ -356,9 +356,9 @@
 		
 			spinlock_lock(&t->lock);
-			printf("%s(%lld): address=%#zX, as=%#zX, ActiveCalls: %zd",
+			printf("%s(%lld): address=%#zx, as=%#zx, ActiveCalls: %zd",
 				t->name, t->taskid, t, t->as, atomic_get(&t->active_calls));
 			for (j=0; j < IPC_MAX_PHONES; j++) {
 				if (t->phones[j].callee)
-					printf(" Ph(%zd): %#zX ", j, t->phones[j].callee);
+					printf(" Ph(%zd): %#zx ", j, t->phones[j].callee);
 			}
 			printf("\n");
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision abbc16e9bc4db4ecd88808e50f3cf7b37cb85310)
+++ generic/src/proc/thread.c	(revision 3c5006a0448fcfb143ebe28a3f43de4bd4bf5e83)
@@ -537,5 +537,5 @@
 		
 			t = (thread_t *) node->value[i];
-			printf("%s: address=%#zX, tid=%zd, state=%s, task=%#zX, code=%#zX, stack=%#zX, cpu=",
+			printf("%s: address=%#zx, tid=%zd, state=%s, task=%#zx, code=%#zx, stack=%#zx, cpu=",
 				t->name, t, t->tid, thread_states[t->state], t->task, t->thread_code, t->kstack);
 			if (t->cpu)
@@ -544,6 +544,6 @@
 				printf("none");
 			if (t->state == Sleeping) {
-				printf(", kst=%#zX", t->kstack);
-				printf(", wq=%#zX", t->sleep_queue);
+				printf(", kst=%#zx", t->kstack);
+				printf(", wq=%#zx", t->sleep_queue);
 			}
 			printf("\n");