Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 3ee8a07528aa466b40a362672714a05e936d396e)
+++ kernel/generic/include/synch/spinlock.h	(revision 6a7f6b85802c0a160961c52c5436bd0f22f726fe)
@@ -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__);	\
 	}