Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
+++ kernel/arch/amd64/src/mm/page.c	(revision ee68e4bc4d0b10815e4ef17fd625a9a33dd1242d)
@@ -83,5 +83,5 @@
 {
 	uintptr_t cur;
-	int i;
+	unsigned int i;
 	int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE;