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 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -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 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -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 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -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 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -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
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/exception.c	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -91,6 +91,7 @@
  *
  * Dispatches the syscall.
- */
-static void swi_exception(int exc_no, istate_t *istate)
+ *
+ */
+static void swi_exception(unsigned int exc_no, istate_t *istate)
 {
 	istate->r0 = syscall_handler(istate->r0, istate->r1, istate->r2,
@@ -148,5 +149,5 @@
  * Determines the sources of interrupt and calls their handlers.
  */
-static void irq_exception(int exc_no, istate_t *istate)
+static void irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	machine_irq_exception(exc_no, istate);
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -242,8 +242,8 @@
  * @param istate Saved processor state.
  */
-void icp_irq_exception(int exc_no, istate_t *istate)
+void icp_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	uint32_t sources = icp_irqc_get_sources();
-	int i;
+	unsigned int i;
 	
 	for (i = 0; i < ICP_IRQC_MAX_IRQ; i++) {
Index: kernel/arch/arm32/src/mach/testarm/testarm.c
===================================================================
--- kernel/arch/arm32/src/mach/testarm/testarm.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mach/testarm/testarm.c	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -205,5 +205,5 @@
  * Determines the sources of interrupt and calls their handlers.
  */
-void gxemul_irq_exception(int exc_no, istate_t *istate)
+void gxemul_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	uint32_t sources = gxemul_irqc_get_sources();
Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/machine_func.c	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -76,5 +76,5 @@
  * @param istate Saved processor state.
  */
-void machine_irq_exception(int exc_no, istate_t *istate)
+void machine_irq_exception(unsigned int exc_no, istate_t *istate)
 {
 	(machine_ops.machine_irq_exception)(exc_no, istate);
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 0a925a87d09a85a3ec6dfd23d403711281c9d884)
@@ -167,8 +167,9 @@
 /** Handles "data abort" exception (load or store at invalid address).
  *
- * @param exc_no	Exception number.
- * @param istate	CPU state when exception occured.
- */
-void data_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void data_abort(unsigned int exc_no, istate_t *istate)
 {
 	fault_status_t fsr __attribute__ ((unused)) =
@@ -193,8 +194,9 @@
 /** Handles "prefetch abort" exception (instruction couldn't be executed).
  *
- * @param exc_no	Exception number.
- * @param istate	CPU state when exception occured.
- */
-void prefetch_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void prefetch_abort(unsigned int exc_no, istate_t *istate)
 {
 	int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);