Index: benchmark/basic/ttst_lock.c
===================================================================
--- benchmark/basic/ttst_lock.c	(revision 8e4aa055b266fba85fc07ec9a38c4d0ff3942a57)
+++ benchmark/basic/ttst_lock.c	(revision e56cfb41a15cd133edd01df1991ac3348156083b)
@@ -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