Index: kernel/arch/arm32/include/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/mm/page_fault.h	(revision 4872160f9c176d257f1757469d1adec8033d95f9)
+++ kernel/arch/arm32/include/mm/page_fault.h	(revision 4ff284b157b4b3e0c87a5bc150a3edf88e238c26)
@@ -81,6 +81,6 @@
 } instruction_union_t;
 
-extern void prefetch_abort(int n, istate_t *istate);
-extern void data_abort(int n, istate_t *istate);
+extern void prefetch_abort(unsigned int, istate_t *);
+extern void data_abort(unsigned int, istate_t *);
 
 #endif