Index: src/mm/tlb.c
===================================================================
--- src/mm/tlb.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
+++ src/mm/tlb.c	(revision 10a2e2286c964c27a26a6a74e033a32fa0c92749)
@@ -55,5 +55,5 @@
 	
 busy_wait:	
-	for (i = 0; i<config.cpu_active; i++)
+	for (i = 0; i<config.cpu_count; i++)
 		if (cpus[i].tlb_active)
 			goto busy_wait;