Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision 016acbeda8dba3ce9de19be150961235e9a4d576)
+++ generic/src/synch/spinlock.c	(revision 24f3874a4a82af6978a92f03e6b9dee9674ab008)
@@ -70,6 +70,6 @@
 	while (test_and_set(&sl->val)) {
 		if (i++ > 300000 && sl!=&printflock) {
-			printf("cpu%d: looping on spinlock %p:%s, caller=%p",
-			       CPU->id, sl, sl->name, CALLER);
+			printf("cpu%d: looping on spinlock %.*p:%s, caller=%.*p",
+			       CPU->id, sizeof(__address) * 2, sl, sl->name, sizeof(__address) * 2, CALLER);
 			symbol = get_symtab_entry(CALLER);
 			if (symbol)