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