Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision b1349e0e6dd0ceaac24eaa1e363afe9e5d81fffc)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision 7d07bf31f74e2ee585ca017e2dccbd51c38cad08)
@@ -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++)