armv6
authorDebian Xen Team <pkg-xen-devel@lists.alioth.debian.org>
Sat, 28 Nov 2015 12:02:15 +0000 (12:02 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sat, 28 Nov 2015 12:02:15 +0000 (12:02 +0000)
Gbp-Pq: Name armv6.diff

tools/libxc/include/xenctrl.h

index 37205c2ca5c0c9a5b0abf8e9a13dacb87c6c8e02..659c2187bc6021f71d5d4d08c818257eb047a311 100644 (file)
@@ -78,9 +78,9 @@
 #define xen_rmb() xen_barrier()
 #define xen_wmb() xen_barrier()
 #elif defined(__arm__)
-#define xen_mb()   asm volatile ("dmb" : : : "memory")
-#define xen_rmb()  asm volatile ("dmb" : : : "memory")
-#define xen_wmb()  asm volatile ("dmb" : : : "memory")
+#define xen_mb()   asm volatile ("mcr p15, #0, r0, c7, c10, #5" : : : "memory")
+#define xen_rmb()  asm volatile ("mcr p15, #0, r0, c7, c10, #5" : : : "memory")
+#define xen_wmb()  asm volatile ("mcr p15, #0, r0, c7, c10, #5" : : : "memory")
 #elif defined(__aarch64__)
 #define xen_mb()   asm volatile ("dmb sy" : : : "memory")
 #define xen_rmb()  asm volatile ("dmb sy" : : : "memory")