Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 2b4a9f26cedf64d7586d2e0b91cc522a8d4fc07b)
+++ kernel/generic/include/synch/spinlock.h	(revision fdb8c1782299efc9fce3a2c5e4200c7420cc6cbe)
@@ -41,4 +41,5 @@
 #include <atomic.h>
 #include <debug.h>
+#include <arch/asm.h>
 
 #ifdef CONFIG_SMP