Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision cecb07892c77b379e9e44411c961635f85a64910)
@@ -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;