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