Index: generic/src/proc/scheduler.c
===================================================================
--- generic/src/proc/scheduler.c	(revision 39cea6a27db77024039730f632eb27a57fda09ab)
+++ generic/src/proc/scheduler.c	(revision 9fa16b204b1d07e1406cbdc9803f00547dcadfa8)
@@ -450,5 +450,5 @@
 
 #ifdef SCHEDULER_VERBOSE
-	printf("cpu%d: tid %d (priority=%d,ticks=%d,nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, atomic_get(&CPU->nrdy));
+	printf("cpu%d: tid %d (priority=%d,ticks=%lld,nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif	
 
@@ -570,5 +570,5 @@
 				spinlock_lock(&t->lock);
 #ifdef KCPULB_VERBOSE
-				printf("kcpulb%d: TID %d -> cpu%d, nrdy=%d, avg=%d\n", CPU->id, t->tid, CPU->id, atomic_get(&CPU->nrdy), atomic_get(&nrdy) / config.cpu_active);
+				printf("kcpulb%d: TID %d -> cpu%d, nrdy=%ld, avg=%nd\n", CPU->id, t->tid, CPU->id, atomic_get(&CPU->nrdy), atomic_get(&nrdy) / config.cpu_active);
 #endif
 				t->flags |= X_STOLEN;
@@ -634,5 +634,5 @@
 
 		spinlock_lock(&cpus[cpu].lock);
-		printf("cpu%d: address=%P, nrdy=%d, needs_relink=%d\n",
+		printf("cpu%d: address=%P, nrdy=%ld, needs_relink=%ld\n",
 		       cpus[cpu].id, &cpus[cpu], atomic_get(&cpus[cpu].nrdy), cpus[cpu].needs_relink);
 		
Index: generic/src/proc/task.c
===================================================================
--- generic/src/proc/task.c	(revision 39cea6a27db77024039730f632eb27a57fda09ab)
+++ generic/src/proc/task.c	(revision 9fa16b204b1d07e1406cbdc9803f00547dcadfa8)
@@ -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");
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision 39cea6a27db77024039730f632eb27a57fda09ab)
+++ generic/src/proc/thread.c	(revision 9fa16b204b1d07e1406cbdc9803f00547dcadfa8)
@@ -419,8 +419,8 @@
 		
 			t = (thread_t *) node->value[i];
-			printf("%s: address=%P, tid=%d, state=%s, task=%P, code=%P, stack=%P, 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)
-				printf("cpu%d ", t->cpu->id);
+				printf("cpu%zd ", t->cpu->id);
 			else
 				printf("none");