Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 3ee8a07528aa466b40a362672714a05e936d396e)
+++ kernel/generic/include/synch/spinlock.h	(revision 860271d40119cf9d1999b88bdac7ceeca219a5b3)
@@ -111,6 +111,6 @@
 	if ((pname)++ > (value)) {					\
 		(pname) = 0;						\
-		printf("Deadlock probe %s: exceeded threshold %d\n",	\
-		    "cpu%d: function=%s, line=%d\n",			\
+		printf("Deadlock probe %s: exceeded threshold %u\n",	\
+		    "cpu%u: function=%s, line=%u\n",			\
 		    #pname, (value), CPU->id, __func__, __LINE__);	\
 	}