Index: src/mm/tlb.c
===================================================================
--- src/mm/tlb.c	(revision 434f70064e8cdd91151e8fb0d22ace8f4eeb9ccc)
+++ src/mm/tlb.c	(revision ed0dd65c9dbd967fb298a751aace9d7aed3c3569)
@@ -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;