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