Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision d46f5ccb5e7f5cf5f616f3440bf69f066285e4c6)
@@ -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++) {