X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/l4/pkg/l4sys/include/compiler.h

diff --git a/l4/pkg/l4sys/include/compiler.h b/l4/pkg/l4sys/include/compiler.h
index f4f3ab1cb..0acbd0ae9 100644
--- 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");