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 5f1fffb1e4b4cbc4ab3a8a6ff434751aaf4ede0c)
@@ -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