Lines Matching refs:elemWS
345 tl_assert(HG_(elemWS)( univ_lsets,
351 tl_assert(HG_(elemWS)( univ_lsets,
873 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (Word)lk))
877 && !HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
880 && HG_(elemWS)(univ_lsets, thr->locksetW, (Word)lk))
1343 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1344 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1364 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1365 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1385 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1387 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1389 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
3482 if ( ! HG_(elemWS)( univ_laog,
3489 if ( ! HG_(elemWS)( univ_laog,
3544 if (HG_(elemWS)( univ_lsets, dsts, (Word)here )) { ret = here; break; }
3580 if (HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lk ))
