172    thread->locksetW     = HG_(emptyWS)( univ_lsets );  in mk_Thread()
372                                 thr->locksetW, (UWord)lk ));  in remove_Lock_from_locksets_of_all_owning_Threads()
373          thr->locksetW  in remove_Lock_from_locksets_of_all_owning_Threads()
374             = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lk );  in remove_Lock_from_locksets_of_all_owning_Threads()
414    space(d+3); VG_(printf)("locksetW %d\n",   (Int)t->locksetW);  in pp_Thread()
857       wsW = thr->locksetW;  in threads__sanity_check()
921                 && !HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))   in locks__sanity_check()
924                 && HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))   in locks__sanity_check()
1141    thr->locksetW = HG_(addToWS)( univ_lsets, thr->locksetW, (UWord)lk );  in evhH__post_thread_w_acquires_lock()
1272       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1293       tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1315          tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1317          tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));  in evhH__pre_thread_releases_lock()
1348       thr->locksetW  in evhH__pre_thread_releases_lock()
1349          = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lock );  in evhH__pre_thread_releases_lock()