Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 0cb9fa0b1256166b7043ccb33e483aaac3beeaba)
@@ -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 ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/mips32/src/drivers/serial.c	(revision 0cb9fa0b1256166b7043ccb33e483aaac3beeaba)
@@ -121,5 +121,5 @@
 }
 
-static irq_ownership_t serial_claim(void *instance)
+static irq_ownership_t serial_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;