Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision 2845930ac60c1fddd2f6cb32cb2b2f34c75a7e4e)
+++ kernel/generic/src/ddi/irq.c	(revision 732bb0c5e68395d4846d2c55a85a66056a5cb76e)
@@ -352,9 +352,10 @@
 /** Unlock IRQ structure after hash_table_remove().
  *
- * @param lnk		Link in the removed and locked IRQ structure.
+ * @param lnk Link in the removed and locked IRQ structure.
  */
 void irq_ht_remove(link_t *lnk)
 {
-	irq_t *irq = hash_table_get_instance(lnk, irq_t, link);
+	irq_t *irq __attribute__((unused))
+	    = hash_table_get_instance(lnk, irq_t, link);
 	spinlock_unlock(&irq->lock);
 }
@@ -425,5 +426,6 @@
 void irq_lin_remove(link_t *lnk)
 {
-	irq_t *irq = hash_table_get_instance(lnk, irq_t, link);
+	irq_t *irq __attribute__((unused))
+	    = hash_table_get_instance(lnk, irq_t, link);
 	spinlock_unlock(&irq->lock);
 }