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()
216 lock->heldBy = NULL; in mk_LockN()228 if (lk->heldBy) in del_LockN()229 VG_(deleteBag)( lk->heldBy ); in del_LockN()263 tl_assert(lk->heldBy == NULL); in lockN_acquire_writer()268 tl_assert(lk->heldBy != NULL); in lockN_acquire_writer()275 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively */ in lockN_acquire_writer()278 lk->heldBy = VG_(newBag)( HG_(zalloc), "hg.lNaw.1", HG_(free) ); in lockN_acquire_writer()279 VG_(addToBag)( lk->heldBy, (UWord)thr ); in lockN_acquire_writer()282 if (lk->heldBy == NULL) in lockN_acquire_writer()287 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"
2779 assertion fail "!lock->heldBy"