Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
@@ -265,5 +265,5 @@
 }
 
-static irq_ownership_t cuda_claim(void *instance)
+static irq_ownership_t cuda_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;