Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision 3698e4420e4bdd79a3251c212fbc1886ecf45436)
+++ kernel/generic/src/ddi/irq.c	(revision b73c26d0a9e1cc90dc174dbf3e084e09ed5b0e02)
@@ -74,4 +74,5 @@
 #include <synch/spinlock.h>
 #include <console/console.h>
+#include <interrupt.h>
 #include <memstr.h>
 #include <arch.h>
@@ -169,4 +170,6 @@
 	irq->inr = -1;
 	irq->devno = -1;
+
+	irq_initialize_arch(irq);
 }