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

File:

• kernel/arch/abs32le/src/mm/page.c (modified) (1 diff)

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

@@ -62 +62 @@
 }
 
-void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
+void page_fault(int n __attribute__((unused)), istate_t *istate)
 {
 }