diff --git a/headers/private/kernel/arch/arm/arch_atomic.h b/headers/private/kernel/arch/arm/arch_atomic.h
index 5d1005eb98..d893bbcfe4 100644
--- a/headers/private/kernel/arch/arm/arch_atomic.h
+++ b/headers/private/kernel/arch/arm/arch_atomic.h
@@ -12,24 +12,21 @@
 static inline void
 memory_read_barrier_inline(void)
 {
-	// TODO Only ArmV7+?
-	asm volatile("dsb sy" : : : "memory");
+	__sync_synchronize();
 }
 
 
 static inline void
 memory_write_barrier_inline(void)
 {
-	// TODO Only ArmV7+?
-	asm volatile("dsb sy" : : : "memory");
+	__sync_synchronize();
 }
 
 
 static inline void
 memory_full_barrier_inline(void)
 {
-	// TODO Only ArmV7+?
-	asm volatile("dsb sy" : : : "memory");
+	__sync_synchronize();
 }