Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision 7d83c54306318dee6c21d2db3c3085efd2eee1ce)
+++ kernel/generic/src/ddi/irq.c	(revision c0b54c9d6fa6bb96ee21171d5b8f0c3b58ed0e60)
@@ -77,5 +77,5 @@
 static bool irq_ht_key_equal(const void *, const ht_link_t *);
 
-static hash_table_ops_t irq_ht_ops = {
+static const hash_table_ops_t irq_ht_ops = {
 	.hash = irq_ht_hash,
 	.key_hash = irq_ht_key_hash,
