Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -102,5 +102,5 @@
 extern void icp_timer_irq_start(void);
 extern void icp_cpu_halt(void);
-extern void icp_irq_exception(int exc_no, istate_t *istate);
+extern void icp_irq_exception(unsigned int, istate_t *);
 extern uintptr_t icp_get_memory_size(void);
 extern void icp_frame_init(void);
Index: kernel/arch/arm32/include/mach/testarm/testarm.h
===================================================================
--- kernel/arch/arm32/include/mach/testarm/testarm.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mach/testarm/testarm.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -72,5 +72,5 @@
 extern void gxemul_timer_irq_start(void);
 extern void gxemul_cpu_halt(void);
-extern void gxemul_irq_exception(int exc_no, istate_t *istate);
+extern void gxemul_irq_exception(unsigned int, istate_t *);
 extern uintptr_t gxemul_get_memory_size(void);
 extern void gxemul_frame_init(void);
Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/machine_func.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -53,5 +53,5 @@
 	void		(*machine_cpu_halt)(void);
 	uintptr_t	(*machine_get_memory_size)(void);
-	void		(*machine_irq_exception)(int, istate_t*);
+	void		(*machine_irq_exception)(unsigned int, istate_t*);
 	void		(*machine_frame_init)(void);
 	void		(*machine_output_init)(void);
@@ -86,5 +86,5 @@
  * @param istate Saved processor state.
  */
-extern void machine_irq_exception(int exc_no, istate_t *istate);
+extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
 
 
Index: kernel/arch/arm32/include/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/mm/page_fault.h	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/include/mm/page_fault.h	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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