Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/arch/ia32/include/mm/page.h	(revision 06737a07ba2ef01fe8fbdb942d826c4ad9952c15)
@@ -192,5 +192,5 @@
 
 extern void page_arch_init(void);
-extern void page_fault(int n, istate_t *istate);
+extern void page_fault(unsigned int, istate_t *);
 
 #endif /* __ASM__ */