Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision d9cf9d5f989f341220cb57edb35733010e85153c)
+++ generic/src/synch/spinlock.c	(revision 7c23af9e20bd84c4a0b29ce3856deb6c8d86aaf5)
@@ -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);