Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision c92dfed0661548d2c3038d2bfb119aa74d286ceb)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
@@ -40,5 +40,5 @@
 #include <mm/mm.h>
 #include <arch/exception.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <arch/cp15.h>
 #include <trace.h>
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision c92dfed0661548d2c3038d2bfb119aa74d286ceb)
+++ kernel/arch/arm32/src/exception.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
@@ -40,5 +40,5 @@
 #include <arch/mm/page_fault.h>
 #include <arch/cp15.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <print.h>
 #include <syscall/syscall.h>