Lines Matching refs:locksetA
177 thread->locksetA = HG_(emptyWS)( univ_lsets );
378 thr->locksetA, (UWord)lk ));
379 thr->locksetA
380 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lk );
425 space(d+3); VG_(printf)("locksetA %d\n", (Int)t->locksetA);
896 wsA = thr->locksetA;
957 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))
1176 happen before the lock is added to the thread's locksetA/W. */
1180 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1251 happen before the lock is added to the thread's locksetA/W. */
1255 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1311 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1332 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1353 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1386 thr->locksetA
1387 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lock );
1680 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );
3901 if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))
3910 other = laog__do_dfs_from_to(lk, thr->locksetA);
3994 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );
