Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 5ad8661e80323e9b4b2ccfb00b9bb2b29608d73f)
@@ -62,5 +62,5 @@
 static irq_t i8254_irq;
 
-static irq_ownership_t i8254_claim(void *instance)
+static irq_ownership_t i8254_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;
Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 5ad8661e80323e9b4b2ccfb00b9bb2b29608d73f)
@@ -133,5 +133,5 @@
 }
 
-static irq_ownership_t l_apic_timer_claim(void *instance)
+static irq_ownership_t l_apic_timer_claim(irq_t *irq)
 {
 	return IRQ_ACCEPT;