Index: generic/include/proc/scheduler.h
===================================================================
--- generic/include/proc/scheduler.h	(revision 0f250f9bff41704344ca927ecc587c2eb450e9ee)
+++ generic/include/proc/scheduler.h	(revision c715e9b93d5ce15f27506aa32b70bfc97c8630bf)
@@ -33,5 +33,5 @@
 #include <time/clock.h>		/* HZ */
 #include <typedefs.h>
-#include <arch/atomic.h>
+#include <atomic.h>
 #include <adt/list.h>