Lines Matching refs:is_sane_LockNorP
108 tl_assert( HG_(is_sane_LockNorP)(lk1) );109 tl_assert( HG_(is_sane_LockNorP)(lk2) );