Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision 24345a57fd6f125f17c733469f41fb22765b51c8)
+++ kernel/generic/include/synch/spinlock.h	(revision 59e4864a51a79cbe1c491a3c86539b884e9005e6)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <arch/barrier.h>
 #include <preemption.h>
 #include <atomic.h>