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