Index: benchmark/basic/ttst_lock.c
===================================================================
--- benchmark/basic/ttst_lock.c	(revision 8e4aa055b266fba85fc07ec9a38c4d0ff3942a57)
+++ benchmark/basic/ttst_lock.c	(revision 89c2a77befec8c4bd2b2e04a2ffca75cf343e981)
@@ -9,5 +9,11 @@
 #define CALIGN __attribute__(( aligned (CACHE_ALIGN) ))
 #define CACHE_ALIGN 128
-#define Pause() __asm__ __volatile__ ( "pause" : : : )
+#if defined( __i386 ) || defined( __x86_64 )
+	#define Pause() __asm__ __volatile__ ( "pause" : : : )
+#elif defined( __ARM_ARCH )
+	#define Pause() __asm__ __volatile__ ( "YIELD" : : : )
+#else
+	#error unsupported architecture
+#endif
 
 typedef uintptr_t TYPE;									// addressable word-size