Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/src/adt/cht.c	(revision cca80a20e6e2bf961374aa1b1f10e61420a705de)
@@ -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>