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()
203 lock->heldW = False; in mk_LockN()264 tl_assert(!lk->heldW); in lockN_acquire_writer()265 lk->heldW = True; in lockN_acquire_writer()273 tl_assert(lk->heldW); in lockN_acquire_writer()282 tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */ in lockN_acquire_writer()298 || (lk->heldBy != NULL && !lk->heldW)); in lockN_acquire_reader()319 lk->heldW = False; in lockN_acquire_reader()323 tl_assert(!lk->heldW); in lockN_acquire_reader()348 lk->heldW = False; in lockN_release()358 tl_assert(!lk->heldW); in remove_Lock_from_locksets_of_all_owning_Threads()[all …]
140 Bool heldW; member
179 lkp->heldW = False; in mk_LockP_from_LockN()