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 */