167    thread->locksetA     = HG_(emptyWS)( univ_lsets );  in mk_Thread()
362                              thr->locksetA, (Word)lk ));  in remove_Lock_from_locksets_of_all_owning_Threads()
363       thr->locksetA  in remove_Lock_from_locksets_of_all_owning_Threads()
364          = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lk );  in remove_Lock_from_locksets_of_all_owning_Threads()
409    space(d+3); VG_(printf)("locksetA %d\n",   (Int)t->locksetA);  in pp_Thread()
822       wsA = thr->locksetA;  in threads__sanity_check()
883             if (!HG_(elemWS)(univ_lsets, thr->locksetA, (Word)lk))   in locks__sanity_check()
1106    thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );  in evhH__post_thread_w_acquires_lock()
1181    thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (Word)lk );  in evhH__post_thread_r_acquires_lock()
1237       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));  in evhH__pre_thread_releases_lock()
1258       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));  in evhH__pre_thread_releases_lock()
1279       tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));  in evhH__pre_thread_releases_lock()
1312       thr->locksetA  in evhH__pre_thread_releases_lock()
1313          = HG_(delFromWS)( univ_lsets, thr->locksetA, (Word)lock );  in evhH__pre_thread_releases_lock()
1583    nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );  in evh__pre_thread_ll_exit()
3690    if (HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lk ))  in laog__pre_thread_acquires_lock()
3699    other = laog__do_dfs_from_to(lk, thr->locksetA);  in laog__pre_thread_acquires_lock()
3738    HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );  in laog__pre_thread_acquires_lock()