Index: src/time/clock.c
===================================================================
--- src/time/clock.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ src/time/clock.c	(revision 8a78e68a764f51401e8328994a376ce7472c4b87)
@@ -41,5 +41,5 @@
 
 #ifdef __SMP__
-#include <arch/atomic.h>
+#include <arch/smp/atomic.h>
 #endif