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