From 6ed7ec20ae17055f71e6180dc39aff468dda8932 Mon Sep 17 00:00:00 2001
From: Christian Hergert <chergert@redhat.com>
Date: Mon, 22 Aug 2016 11:54:10 -0700
Subject: [PATCH] util: add read_barrier() for ARMv7

---
 lib/util/util.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/util/util.h b/lib/util/util.h
index b0b55db3..6062d439 100644
--- a/lib/util/util.h
+++ b/lib/util/util.h
@@ -29,4 +29,8 @@
 #define read_barrier()           asm volatile("" ::: "memory")
 #endif
 
+#ifdef __arm__
+#define read_barrier()           asm volatile("dsb" ::: "memory")
+#endif
+
 #endif /* SP_UTIL_H */