Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/console/console.c	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
@@ -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 ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/generic/src/console/kconsole.c	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
@@ -104,5 +104,5 @@
  *
  */
-static irq_ownership_t kconsole_claim(void *instance)
+static irq_ownership_t kconsole_claim(irq_t *irq)
 {
 	return IRQ_DECLINE;