Lines Matching refs:locksetA
179 thread->locksetA = HG_(emptyWS)( univ_lsets );
380 thr->locksetA, (UWord)lk ));
381 thr->locksetA
382 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lk );
427 space(d+3); VG_(printf)("locksetA %d\n", (Int)t->locksetA);
898 wsA = thr->locksetA;
959 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))
1178 happen before the lock is added to the thread's locksetA/W. */
1182 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1253 happen before the lock is added to the thread's locksetA/W. */
1257 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1313 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1334 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1388 thr->locksetA
1389 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lock );
1682 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );
3903 if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))
3912 other = laog__do_dfs_from_to(lk, thr->locksetA);
3996 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );
