Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/adt/cht.c	(revision bd41ac52cf7d20e9e568c519bf2cb5ac7104b86a)
@@ -292,6 +292,6 @@
 #include <assert.h>
 #include <mm/slab.h>
-#include <arch/barrier.h>
-#include <compiler/barrier.h>
+#include <barrier.h>
+#include <barrier.h>
 #include <atomic.h>
 #include <synch/rcu.h>