Lines Matching full:lockseta
167 thread->locksetA = HG_(emptyWS)( univ_lsets );
362 thr->locksetA, (Word)lk ));
363 thr->locksetA
364 = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lk );
409 space(d+3); VG_(printf)("locksetA %d\n", (Int)t->locksetA);
822 wsA = thr->locksetA;
883 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (Word)lk))
1102 happen before the lock is added to the thread's locksetA/W. */
1106 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );
1177 happen before the lock is added to the thread's locksetA/W. */
1181 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );
1237 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1258 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1279 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1312 thr->locksetA
1313 = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lock );
1583 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );
3690 if (HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lk ))
3699 other = laog__do_dfs_from_to(lk, thr->locksetA);
3738 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );
