Index: kernel/generic/src/mm/tlb.c
===================================================================
--- kernel/generic/src/mm/tlb.c	(revision 05e3cb80171fdcd27f8650a64f4e6e7b25a00316)
+++ kernel/generic/src/mm/tlb.c	(revision 6fe0bf8de5aa2032128982d03e2f8b3240b3e508)
@@ -94,4 +94,5 @@
 		
 		cpu_t *cpu = &cpus[i];
+		
 		irq_spinlock_lock(&cpu->lock, false);
 		if (cpu->tlb_messages_count == TLB_MESSAGE_QUEUE_LEN) {
@@ -121,7 +122,8 @@
 	
 busy_wait:
-	for (i = 0; i < config.cpu_count; i++)
+	for (i = 0; i < config.cpu_count; i++) {
 		if (cpus[i].tlb_active)
 			goto busy_wait;
+	}
 	
 	return ipl;