Searched refs:heldW (Results 1 – 4 of 4) sorted by relevance
77 return !lock->heldW; in is_sane_Lock_BASE()90 if (lock->heldW) { in is_sane_Lock_BASE()
199 lock->heldW = False; in mk_LockN()260 tl_assert(!lk->heldW); in lockN_acquire_writer()261 lk->heldW = True; in lockN_acquire_writer()269 tl_assert(lk->heldW); in lockN_acquire_writer()278 tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */ in lockN_acquire_writer()294 || (lk->heldBy != NULL && !lk->heldW)); in lockN_acquire_reader()315 lk->heldW = False; in lockN_acquire_reader()319 tl_assert(!lk->heldW); in lockN_acquire_reader()344 lk->heldW = False; in lockN_release()354 tl_assert(!lk->heldW); in remove_Lock_from_locksets_of_all_owning_Threads()[all …]
140 Bool heldW; member
177 lkp->heldW = False; in mk_LockP_from_LockN()