atomic_fcmpset_acq_ptr
if (atomic_fcmpset_acq_ptr(&lk->lk_lock, xp,
if (!atomic_fcmpset_acq_ptr(&lk->lk_lock, &x,
if (atomic_fcmpset_acq_ptr(&lk->lk_lock, &x, tid))
if (atomic_fcmpset_acq_ptr(&lk->lk_lock, &x,
if (atomic_fcmpset_acq_ptr(&lock->head, &v,
if (atomic_fcmpset_acq_ptr(&lock->head, &v,
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, &v, tid))
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, &v, tid | setv)) {
success = atomic_fcmpset_acq_ptr(&rw->rw_lock, &v, tid);
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, &v, tid))
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, vp,
if (atomic_fcmpset_acq_ptr(&rw->rw_lock, &x, x + RW_ONE_READER)) {
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, xp,
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, x + SX_ONE_SHARER)) {
if (!atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid))
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid))
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x,
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid))
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid))
if (atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid))
if (!atomic_fcmpset_acq_ptr(&sx->sx_lock, &x, tid | setx))
atomic_fcmpset_acq_ptr(&(mp)->mtx_lock, vp, (tid))
atomic_fcmpset_acq_ptr(&(rw)->rw_lock, vp, (tid))
!atomic_fcmpset_acq_ptr(&sx->sx_lock, &v, tid)))