Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision 016acbeda8dba3ce9de19be150961235e9a4d576)
+++ generic/src/synch/spinlock.c	(revision 1f41004e9a0a9a316de7e3cbe422a0eba21f4946)
@@ -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)