Index: src/synch/spinlock.c
===================================================================
--- src/synch/spinlock.c	(revision 43114c515872442297f5b1b8a327743ef24c825a)
+++ src/synch/spinlock.c	(revision b60a22c46e392bc508919c7fe80729aa7c60cee7)
@@ -29,8 +29,5 @@
 #include <arch.h>
 
-#ifdef __SMP__
-#include <arch/smp/atomic.h>
-#endif
-
+#include <arch/atomic.h>
 #include <synch/spinlock.h>