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