Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision f817d3a500d65d74090358c680483a7a8c72924e)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 7f34182064fa93a69263014cb1b9789bf87da965)
@@ -250,5 +250,5 @@
 }
 
-static void cuda_irq_handler(irq_t *irq, void *arg, ...)
+static void cuda_irq_handler(irq_t *irq)
 {
 	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox))
@@ -265,5 +265,5 @@
 }
 
-static irq_ownership_t cuda_claim(void)
+static irq_ownership_t cuda_claim(void *instance)
 {
 	return IRQ_ACCEPT;