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