Home | History | Annotate | Download | only in helgrind

Lines Matching refs:locksetW

172    thread->locksetW     = HG_(emptyWS)( univ_lsets );
352 thr->locksetW, (Word)lk ));
353 thr->locksetW
354 = HG_(delFromWS)( univ_lsets, thr->locksetW, (Word)lk );
396 space(d+3); VG_(printf)("locksetW %d\n", (Int)t->locksetW);
813 wsW = thr->locksetW;
877 && !HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
880 && HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
1215 thr->locksetW = HG_(addToWS)( univ_lsets, thr->locksetW, (Word)lk );
1288 /* but don't update thr->locksetW, since lk is only rd-held */
1344 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1365 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1387 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1389 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1420 thr->locksetW
1421 = HG_(delFromWS)( univ_lsets, thr->locksetW, (Word)lock );