Changes in kernel/arch/abs32le/src/mm/page.c [50fda24:214ec25c] in mainline

File:

• kernel/arch/abs32le/src/mm/page.c (modified) (2 diffs)

kernel/arch/abs32le/src/mm/page.c

@@ -39 +39 @@
 #include <mm/page.h>
 #include <mm/as.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <align.h>
 #include <config.h>
@@ -62 +62 @@
 }
 
-void page_fault(int n __attribute__((unused)), istate_t *istate)
+void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
 {
 }