lxip: ARM 64-Bit support

issue #3407

repos/dde_linux/src/include/spec/arm_64/lx_emul/barrier.h

@@ -0,0 +1,31 @@
+/*
+ * \brief  ARMv8-specific part of the Linux API emulation
+ * \author Christian Prochaska
+ * \date   2014-05-28
+ */
+
+/*
+ * Copyright (C) 2019 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
+/*******************
+ ** asm/barrier.h **
+ *******************/
+
+#define mb()  asm volatile ("dsb ld": : :"memory")
+#define rmb() mb()
+#define wmb() asm volatile ("dsb st": : :"memory")
+
+/*
+ * This is the "safe" implementation as needed for a configuration
+ * with bufferable DMA memory and SMP enabled.
+ */
+
+#define smp_mb()  asm volatile ("dmb ish": : :"memory")
+#define smp_rmb() smp_mb()
+#define smp_wmb() asm volatile ("dmb ishst": : :"memory")
+
+static inline void barrier() { asm volatile ("": : :"memory"); }