Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
+++ kernel/arch/ia64/src/drivers/it.c	(revision 02f547fd71bd6bd03883ccf06c30c6f61d074208)
@@ -39,5 +39,5 @@
 #include <arch/register.h>
 #include <arch/asm.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <time/clock.h>
 #include <ddi/irq.h>