Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/src/time/clock.c	(revision 3c453534a2b093c8039d8e8059b923c71f3492a3)
@@ -54,5 +54,5 @@
 #include <proc/thread.h>
 #include <sysinfo/sysinfo.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <mm/frame.h>
 #include <ddi/ddi.h>