Lines Matching refs:elemWS
361 tl_assert(HG_(elemWS)( univ_lsets,
367 tl_assert(HG_(elemWS)( univ_lsets,
883 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (Word)lk))
887 && !HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
890 && HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
1237 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1238 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1258 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1259 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1279 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1281 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1283 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
3558 if ( ! HG_(elemWS)( univ_laog,
3565 if ( ! HG_(elemWS)( univ_laog,
3620 if (HG_(elemWS)( univ_lsets, dsts, (Word)here )) { ret = here; break; }
3656 if (HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lk ))
