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()
200 lock->heldBy = NULL; in mk_LockN()212 if (lk->heldBy) in del_LockN()213 VG_(deleteBag)( lk->heldBy ); in del_LockN()247 tl_assert(lk->heldBy == NULL); in lockN_acquire_writer()252 tl_assert(lk->heldBy != NULL); in lockN_acquire_writer()259 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively */ in lockN_acquire_writer()262 lk->heldBy = VG_(newBag)( HG_(zalloc), "hg.lNaw.1", HG_(free) ); in lockN_acquire_writer()263 VG_(addToBag)( lk->heldBy, (Word)thr ); in lockN_acquire_writer()266 if (lk->heldBy == NULL) in lockN_acquire_writer()271 tl_assert(VG_(sizeUniqueBag(lk->heldBy)) == 1); in lockN_acquire_writer()[all …]
141 WordBag* heldBy; /* bag of threads that hold this lock */ member
178 lkp->heldBy = NULL; in mk_LockP_from_LockN()
64 fail "!lock->heldBy"
1170 assertion fail "!lock->heldBy"