Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 070e05aa939a4cbaed698ba35f5d2f7a7efee35c)
+++ kernel/arch/ia64/src/ia64.c	(revision b73c26d0a9e1cc90dc174dbf3e084e09ed5b0e02)
@@ -44,4 +44,5 @@
 #include <arch/stack.h>
 #include <arch/mm/page.h>
+#include <interrupt.h>
 #include <mm/as.h>
 #include <config.h>
@@ -280,4 +281,9 @@
 }
 
+void irq_initialize_arch(irq_t *irq)
+{
+	(void) irq;
+}
+
 /** @}
  */