Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision cecb07892c77b379e9e44411c961635f85a64910)
+++ kernel/generic/src/ddi/irq.c	(revision f9f9a132b6bbf6fb3fbfbc90aa2f576c0bf1b017)
@@ -83,5 +83,5 @@
  * This lock must be taken only when interrupts are disabled.
  */
-static SPINLOCK_INITIALIZE(irq_kernel_hash_table_lock);
+SPINLOCK_INITIALIZE(irq_kernel_hash_table_lock);
 /** The kernel IRQ hash table. */
 static hash_table_t irq_kernel_hash_table;
@@ -179,6 +179,4 @@
 void irq_register(irq_t *irq)
 {
-	spinlock_t *lock = &irq_kernel_hash_table_lock;
-	hash_table_t *table = &irq_kernel_hash_table;
 	ipl_t ipl;
 	unative_t key[] = {
@@ -188,9 +186,9 @@
 	
 	ipl = interrupts_disable();
-	spinlock_lock(lock);
+	spinlock_lock(&irq_kernel_hash_table_lock);
 	spinlock_lock(&irq->lock);
-	hash_table_insert(table, key, &irq->link);
+	hash_table_insert(&irq_kernel_hash_table, key, &irq->link);
 	spinlock_unlock(&irq->lock);	
-	spinlock_unlock(lock);
+	spinlock_unlock(&irq_kernel_hash_table_lock);
 	interrupts_restore(ipl);
 }