Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
@@ -110,5 +110,5 @@
 }
 
-static irq_ownership_t msim_claim(void *instance)
+static irq_ownership_t msim_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;
Index: kernel/arch/mips32/src/drivers/serial.c
===================================================================
--- kernel/arch/mips32/src/drivers/serial.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/mips32/src/drivers/serial.c	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
@@ -121,5 +121,5 @@
 }
 
-static irq_ownership_t serial_claim(void *instance)
+static irq_ownership_t serial_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;
Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/mips32/src/interrupt.c	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
@@ -102,5 +102,5 @@
 }
 
-static irq_ownership_t timer_claim(void *instance)
+static irq_ownership_t timer_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;