atomic_cmpxchg_int
return atomic_cmpxchg_int(&v->counter, old, new);
old = atomic_cmpxchg_int(&v->counter, c, c + add);
while (atomic_cmpxchg_int(&v->counter, val, val ^ i) == 0) {
