Index: src/proc/scheduler.c
===================================================================
--- src/proc/scheduler.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/proc/scheduler.c	(revision e6ba9a3f855c691ac06a82e05520611cfdda842f)
@@ -43,5 +43,5 @@
 
 #ifdef __SMP__
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #endif /* __SMP__ */