215    lock->heldW            = False;  in mk_LockN()
276          tl_assert(!lk->heldW);  in lockN_acquire_writer()
277          lk->heldW  = True;  in lockN_acquire_writer()
285          tl_assert(lk->heldW);  in lockN_acquire_writer()
294          tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */  in lockN_acquire_writer()
310              || (lk->heldBy != NULL && !lk->heldW));  in lockN_acquire_reader()
331       lk->heldW  = False;  in lockN_acquire_reader()
335    tl_assert(!lk->heldW);  in lockN_acquire_reader()
360       lk->heldW       = False;  in lockN_release()
370       tl_assert(!lk->heldW);  in remove_Lock_from_locksets_of_all_owning_Threads()
382       if (lk->heldW) {  in remove_Lock_from_locksets_of_all_owning_Threads()
503       space(d+3); VG_(printf)("heldW  %s\n", lk->heldW ? "yes" : "no");  in pp_Lock()
518                         lk->heldW ? 'W' : 'R',  in pp_Lock()
960             if (lk->heldW   in locks__sanity_check()
963             if ((!lk->heldW)  in locks__sanity_check()
970          if (lk->heldW) BAD("9"); /* should be False if !heldBy */  in locks__sanity_check()
1124       tl_assert(!lk->heldW);  in evhH__post_thread_w_acquires_lock()
1134    if (!lk->heldW) {  in evhH__post_thread_w_acquires_lock()
1223       tl_assert(!lk->heldW);  in evhH__post_thread_r_acquires_lock()
1233    if (lk->heldW) {  in evhH__post_thread_r_acquires_lock()
1309       tl_assert(!lock->heldW);  in evhH__pre_thread_releases_lock()
1318    was_heldW = lock->heldW;  in evhH__pre_thread_releases_lock()
1352                 || (lock->kind == LK_rdwr && !lock->heldW));  in evhH__pre_thread_releases_lock()
1354       if (lock->heldW)  in evhH__pre_thread_releases_lock()
1370          tl_assert(lock->heldW == False);  in evhH__pre_thread_releases_lock()
1380          tl_assert(lock->heldW == False);  in evhH__pre_thread_releases_lock()
2056          lk->heldW = False;  in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2099         && lk->heldW  in evh__HG_PTHREAD_MUTEX_LOCK_PRE()
2616          lk->heldW = False;  in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()