Searched refs:thread_is_a_holder_of_Lock (Results 1 – 1 of 1) sorted by relevance
875 static Bool thread_is_a_holder_of_Lock ( Thread* thr, Lock* lk ) in thread_is_a_holder_of_Lock() function907 if (!thread_is_a_holder_of_Lock(thr,lk)) BAD("3"); in threads__sanity_check()