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
183 tl_assert( HG_(is_sane_LockP)(lkp) ); in mk_LockP_from_LockN()1101 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) ); in HG_()1146 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) ); in HG_()