242 static Bool elem_LockP_vector ( Lock** vec, Lock* lk )  in elem_LockP_vector()  argument
245    tl_assert(lk);  in elem_LockP_vector()
248       if (vec[n] == lk)  in elem_LockP_vector()
564 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk )  in HG_()
568    tl_assert( HG_(is_sane_LockN)(lk) );  in HG_()
574       = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/);  in HG_()
583                                        Thread* owner, Lock* lk )  in HG_()
588    tl_assert( HG_(is_sane_LockN)(lk) );  in HG_()
594       = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/);  in HG_()
812 static void announce_LockP ( Lock* lk )  in announce_LockP()  argument
814    tl_assert(lk);  in announce_LockP()
815    if (lk == Lock_INVALID)  in announce_LockP()
817    tl_assert(lk->magic == LockP_MAGIC);  in announce_LockP()
818    if (!lk->appeared_at)  in announce_LockP()
825                  (void*)lk->guestaddr );  in announce_LockP()
826       VG_(pp_ExeContext)( lk->appeared_at );  in announce_LockP()
843          Lock* lk = lockvec2[i];  in announce_combined_LockP_vecs()  local
844          if (!elem_LockP_vector(lockvec, lk))  in announce_combined_LockP_vecs()
845             announce_LockP(lk);  in announce_combined_LockP_vecs()