Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/generic/src/synch/spinlock.c	(revision b014e9f8dfc796df22c985c021ea0869071a9d5a)
@@ -107,7 +107,7 @@
 		if (i++ > DEADLOCK_THRESHOLD) {
 			printf("cpu%u: looping on spinlock %" PRIp ":%s, "
-			    "caller=%" PRIp "(%s)", CPU->id, sl, sl->name,
+			    "caller=%" PRIp "(%s)\n", CPU->id, sl, sl->name,
 			    CALLER, symtab_fmt_name_lookup(CALLER));
-
+			
 			i = 0;
 			deadlock_reported = true;