Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision fa8e7d2eafc95dcfd4435b0ca55cbfb76b7b11b5)
@@ -62,5 +62,5 @@
 void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
 {
-	int i;
+	unsigned int i;
 
 	for (i = 0; i < cnt; i++)