1 "SPINLOCK_NG" is x86-specific;
2 also, use __builtin_ia32_pause directly, as _mm_pause used to be inside target("sse") pragma until gcc 5.?
3 --- accelio-1.6/src/usr/linux/kernel.h.orig 2016-03-28 14:58:45.000000000 +0200
4 +++ accelio-1.6/src/usr/linux/kernel.h 2016-04-10 21:34:41.710405838 +0200
7 typedef volatile int spinlock_t;
9 +#if defined(__i386__) || defined(__x86_64__)
17 while (__sync_lock_test_and_set(spinlock, 1))
20 + __builtin_ia32_pause();
23 static inline int spin_try_lock(spinlock_t* spinlock)