177    thread->locksetA     = HG_(emptyWS)( univ_lsets );  in mk_Thread()
378                              thr->locksetA, (UWord)lk ));  in remove_Lock_from_locksets_of_all_owning_Threads()
379       thr->locksetA  in remove_Lock_from_locksets_of_all_owning_Threads()
380          = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lk );  in remove_Lock_from_locksets_of_all_owning_Threads()
425    space(d+3); VG_(printf)("locksetA %d\n",   (Int)t->locksetA);  in pp_Thread()
896       wsA = thr->locksetA;  in threads__sanity_check()
957             if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))   in locks__sanity_check()
1180    thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );  in evhH__post_thread_w_acquires_lock()
1255    thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );  in evhH__post_thread_r_acquires_lock()
1311       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (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()
1353       tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1386       thr->locksetA  in evhH__pre_thread_releases_lock()
1387          = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lock );  in evhH__pre_thread_releases_lock()
1680    nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );  in evh__pre_thread_ll_exit()
3901    if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))  in laog__pre_thread_acquires_lock()
3910    other = laog__do_dfs_from_to(lk, thr->locksetA);  in laog__pre_thread_acquires_lock()
3994    HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );  in laog__pre_thread_acquires_lock()