Searched refs:record_error_UnlockUnlocked (Results 1 – 6 of 6) sorted by relevance
59 void HG_(record_error_UnlockUnlocked) ( Thread*, Lock* );
531 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk ) in HG_() argument
1318 HG_(record_error_UnlockUnlocked)( thr, lock ); in evhH__pre_thread_releases_lock() local