Searched refs:is_sane_LockN (Results 1 – 4 of 4) sorted by relevance
190 Bool HG_(is_sane_LockN) ( Lock* lock );
217 tl_assert(HG_(is_sane_LockN)(lock)); in mk_LockN()225 tl_assert(HG_(is_sane_LockN)(lk)); in del_LockN()253 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()299 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()304 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_reader()336 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_reader()346 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_release()363 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_release()760 tl_assert(HG_(is_sane_LockN)(lock)); in map_locks_lookup_or_create()766 tl_assert(HG_(is_sane_LockN)(oldlock)); in map_locks_lookup_or_create()[all …]
109 Bool HG_(is_sane_LockN) ( Lock* lock ) { in HG_() argument
163 tl_assert( HG_(is_sane_LockN)(lkn) ); in mk_LockP_from_LockN()534 tl_assert( HG_(is_sane_LockN)(lk) ); in HG_()554 tl_assert( HG_(is_sane_LockN)(lk) ); in HG_()