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 8867cf60014e9288ad97cf5fd5d82bcd6e605782)
@@ -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>