Lines Matching defs:lk
241 /* Find out whether 'lk' is in 'vec'. */
242 static Bool elem_LockP_vector ( Lock** vec, Lock* lk )
245 tl_assert(lk);
248 if (vec[n] == lk)
564 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk )
568 tl_assert( HG_(is_sane_LockN)(lk) );
574 = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/);
583 Thread* owner, Lock* lk )
588 tl_assert( HG_(is_sane_LockN)(lk) );
594 = mk_LockP_from_LockN(lk, False/*!allowed_to_be_invalid*/);
811 /* Announce 'lk'. */
812 static void announce_LockP ( Lock* lk )
814 tl_assert(lk);
815 if (lk == Lock_INVALID)
817 tl_assert(lk->magic == LockP_MAGIC);
818 if (!lk->appeared_at)
825 (void*)lk->guestaddr );
826 VG_(pp_ExeContext)( lk->appeared_at );
843 Lock* lk = lockvec2[i];
844 if (!elem_LockP_vector(lockvec, lk))
845 announce_LockP(lk);
