Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision c9b550bff53b2109d2746935072fca1bbe632894)
@@ -204,5 +204,5 @@
 }
 
-static irq_ownership_t gxemul_claim(void *instance)
+static irq_ownership_t gxemul_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;
@@ -266,5 +266,5 @@
 }
 
-static irq_ownership_t gxemul_timer_claim(void *instance)
+static irq_ownership_t gxemul_timer_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;