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