Index: kernel/arch/ia32xen/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32xen/src/mm/tlb.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/ia32xen/src/mm/tlb.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
@@ -66,5 +66,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++)