@@ -2,5 +2,6 @@
int pthread_spin_unlock(pthread_spinlock_t *s)
{
- return *s = 0;
+ a_store(s, 0);
+ return 0;
}