Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/generic/src/console/console.c	(revision 9646159109db804ee73ff4a9fc8359fb3318c3d2)
@@ -102,5 +102,5 @@
  * @return Always returns IRQ_DECLINE.
  */
-static irq_ownership_t klog_claim(void *instance)
+static irq_ownership_t klog_claim(irq_t *irq)
 {
 	return IRQ_DECLINE;
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/generic/src/console/kconsole.c	(revision 9646159109db804ee73ff4a9fc8359fb3318c3d2)
@@ -104,5 +104,5 @@
  *
  */
-static irq_ownership_t kconsole_claim(void *instance)
+static irq_ownership_t kconsole_claim(irq_t *irq)
 {
 	return IRQ_DECLINE;