Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 5c8ba0560c7265268758fc38bc65760c0b301f98)
+++ kernel/generic/include/synch/spinlock.h	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
@@ -113,5 +113,5 @@
 		printf("Deadlock probe %s: exceeded threshold %d\n",	\
 		    "cpu%d: function=%s, line=%d\n",			\
-		    #pname, (value), CPU->id, __FUNCTION__, __LINE__);	\
+		    #pname, (value), CPU->id, __func__, __LINE__);	\
 	}
 #else