Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/generic/include/ddi/irq.h	(revision 90e3d6a4d64226b489eac123eae27df8c803ecc8)
@@ -140,5 +140,5 @@
 	irq_trigger_t trigger;
 	/** Claim ownership of the IRQ. */
-	irq_ownership_t (* claim)(void *);
+	irq_ownership_t (* claim)(struct irq *);
 	/** Handler for this IRQ and device. */
 	irq_handler_t handler;