Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision 820edde9b67b8b077ff0b393614fbef1538a9d52)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
@@ -185,7 +185,6 @@
  *  
  *  @param irq IRQ information.
- *  @param arg Not used.
- */
-static void gxemul_irq_handler(irq_t *irq, void *arg, ...)
+ */
+static void gxemul_irq_handler(irq_t *irq)
 {
 	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox)) {
@@ -205,5 +204,5 @@
 }
 
-static irq_ownership_t gxemul_claim(void)
+static irq_ownership_t gxemul_claim(void *instance)
 {
 	return IRQ_ACCEPT;
@@ -267,5 +266,5 @@
 }
 
-static irq_ownership_t gxemul_timer_claim(void)
+static irq_ownership_t gxemul_timer_claim(void *instance)
 {
 	return IRQ_ACCEPT;
@@ -277,5 +276,5 @@
  * @param arg Not used.
  */
-static void gxemul_timer_irq_handler(irq_t *irq, void *arg, ...)
+static void gxemul_timer_irq_handler(irq_t *irq)
 {
 	/*
@@ -371,5 +370,5 @@
 			if (irq) {
 				/* The IRQ handler was found. */
-				irq->handler(irq, irq->arg);
+				irq->handler(irq);
 				spinlock_unlock(&irq->lock);
 			} else {