Index: kernel/arch/abs32le/include/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/mm/page.h	(revision 3d6beaa35f8c97b40779781a9022e244474c064e)
+++ kernel/arch/abs32le/include/mm/page.h	(revision 7c866dca6d6a65672794e3e3200314306a99f714)
@@ -170,5 +170,5 @@
 
 extern void page_arch_init(void);
-extern void page_fault(int, istate_t *);
+extern void page_fault(unsigned int, istate_t *);
 
 #endif /* KERNEL */
Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision 3d6beaa35f8c97b40779781a9022e244474c064e)
+++ kernel/arch/abs32le/src/mm/page.c	(revision 7c866dca6d6a65672794e3e3200314306a99f714)
@@ -62,5 +62,5 @@
 }
 
-void page_fault(int n __attribute__((unused)), istate_t *istate)
+void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 }