Searched refs:is_sane_LockP (Results 1 – 3 of 3) sorted by relevance
166 Bool HG_(is_sane_LockP) ( Lock* lock );
102 Bool HG_(is_sane_LockP) ( Lock* lock ) { in HG_() argument
184 tl_assert( HG_(is_sane_LockP)(lkp) ); in mk_LockP_from_LockN()1095 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) ); in HG_()1131 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) ); in HG_()