update

[l4.git] / l4 / pkg / l4sys / include / compiler.h

diff --git a/l4/pkg/l4sys/include/compiler.h b/l4/pkg/l4sys/include/compiler.h
index f4f3ab1cb69d62dc2ceead7c1b9b8fa284d53c44..0acbd0ae9b06c349cceb28e2cf540206f143bb35 100644 (file)
--- a/l4/pkg/l4sys/include/compiler.h
+++ b/l4/pkg/l4sys/include/compiler.h
@@ -264,6 +264,11 @@
 #define L4_stringify(x)        L4_stringify_helper(x)   ///< stringify. \hideinitializer
 
 #ifndef __ASSEMBLER__
+/**
+ * \brief Memory barrier.
+ */
+L4_INLINE void l4_barrier(void);
+
 /**
  * \brief Memory barrier.
  */
@@ -276,6 +281,11 @@ L4_INLINE void l4_wmb(void);
 
 
 /* Implementations */
+L4_INLINE void l4_barrier(void)
+{
+  __asm__ __volatile__ ("" : : : "memory");
+}
+
 L4_INLINE void l4_mb(void)
 {
   __asm__ __volatile__ ("" : : : "memory");