Searched refs:heldBy (Results 1 – 6 of 6) sorted by relevance
74 if (lock->heldBy == NULL) { in is_sane_Lock_BASE()84 if (VG_(isEmptyBag)(lock->heldBy)) in is_sane_Lock_BASE()88 if (!is_sane_Bag_of_Threads(lock->heldBy)) in is_sane_Lock_BASE()93 && !VG_(isSingletonTotalBag)(lock->heldBy)) in is_sane_Lock_BASE()
218 lock->heldBy = NULL; in mk_LockN()230 if (lk->heldBy) in del_LockN()231 VG_(deleteBag)( lk->heldBy ); in del_LockN()265 tl_assert(lk->heldBy == NULL); in lockN_acquire_writer()270 tl_assert(lk->heldBy != NULL); in lockN_acquire_writer()277 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively */ in lockN_acquire_writer()280 lk->heldBy = VG_(newBag)( HG_(zalloc), "hg.lNaw.1", HG_(free) ); in lockN_acquire_writer()281 VG_(addToBag)( lk->heldBy, (UWord)thr ); in lockN_acquire_writer()284 if (lk->heldBy == NULL) in lockN_acquire_writer()289 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); in lockN_acquire_writer()[all …]
164 WordBag* heldBy; /* bag of threads that hold this lock */ member
179 lkp->heldBy = NULL; in mk_LockP_from_LockN()
64 fail "!lock->heldBy"
3263 assertion fail "!lock->heldBy"