Lines Matching refs:elemWS
377 tl_assert(HG_(elemWS)( univ_lsets,
383 tl_assert(HG_(elemWS)( univ_lsets,
957 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))
961 && !HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
964 && HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
1311 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1312 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1332 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1333 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1353 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1357 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
3803 if ( ! HG_(elemWS)( univ_laog,
3810 if ( ! HG_(elemWS)( univ_laog,
3865 if (HG_(elemWS)( univ_lsets, dsts, (UWord)here )) { ret = here; break; }
3901 if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))
