Index: generic/src/time/clock.c
===================================================================
--- generic/src/time/clock.c	(revision 5c9a08b46f360925ecb95360eb2b35b88a5f8087)
+++ generic/src/time/clock.c	(revision 40378479b8bf47b5c6ddf534dfbafae2c8441d34)
@@ -39,5 +39,5 @@
 #include <arch.h>
 #include <adt/list.h>
-#include <arch/atomic.h>
+#include <atomic.h>
 #include <proc/thread.h>