Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/exception.c	(revision 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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 214ec25cbbfd86e547613a9d32809cef432e810d)
@@ -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);