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 6c441cf8f35799043d891a3a77032e1b0e49112b)
@@ -83,5 +83,5 @@
 {
 	uintptr_t cur;
-	int i;
+	unsigned int i;
 	int identity_flags = PAGE_CACHEABLE | PAGE_EXEC | PAGE_GLOBAL | PAGE_WRITE;