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