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 231b3fd911824ee9736dc8408fcbc951c9490222)
@@ -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>