Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision 54182172d79ad29fbf6fbf1607d7d820d278a7a7)
+++ kernel/generic/src/ddi/irq.c	(revision 0055cfda855ba8e5cf246f911b748a2fae9d6793)
@@ -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);
 }