Implemented ARM __kernel_memory_barrier using GCC/clang
builtin __sync_synchronize().
Signed-off-by: Timothy Edward Baldwin <t.e.baldwi...@members.leeds.ac.uk>
---
linux-user/main.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/linux-user/main.c b/linux-user/main.c
index 2c9658e..f4b81b1 100644
--- a/linux-user/main.c
+++ b/linux-user/main.c
@@ -531,7 +531,7 @@ do_kernel_trap(CPUARMState *env)
switch (env->regs[15]) {
case 0xffff0fa0: /* __kernel_memory_barrier */
- /* ??? No-op. Will need to do better for SMP. */
+ __sync_synchronize();
break;
case 0xffff0fc0: /* __kernel_cmpxchg */
/* XXX: This only works between threads, not between processes.
--
2.1.4
