Lines Matching refs:locksetW
178 thread->locksetW = HG_(emptyWS)( univ_lsets );
384 thr->locksetW, (UWord)lk ));
385 thr->locksetW
386 = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lk );
426 space(d+3); VG_(printf)("locksetW %d\n", (Int)t->locksetW);
897 wsW = thr->locksetW;
961 && !HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
964 && HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
1181 thr->locksetW = HG_(addToWS)( univ_lsets, thr->locksetW, (UWord)lk );
1256 /* but don't update thr->locksetW, since lk is only rd-held */
1312 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1333 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1357 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1388 thr->locksetW
1389 = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lock );
