Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision d9cf9d5f989f341220cb57edb35733010e85153c)
+++ generic/src/synch/spinlock.c	(revision e09b75cb3dd1c9704e1bb95edaefb2fb3774cf1a)
@@ -102,5 +102,5 @@
 			continue;
 #endif
-		if (i++ > 300000) {
+		if (i++ > 10000000) {
 			printf("cpu%d: looping on spinlock %.*p:%s, caller=%.*p",
 			       CPU->id, sizeof(__address) * 2, sl, sl->name, sizeof(__address) * 2, CALLER);