Searched refs:sizeUniqueBag (Results 1 – 3 of 3) sorted by relevance
203 UWord VG_(sizeUniqueBag)( WordBag* ); /* fast */
893 UWord VG_(sizeUniqueBag) ( WordBag* bag ) in VG_() argument
271 tl_assert(VG_(sizeUniqueBag(lk->heldBy)) == 1); in lockN_acquire_writer()1069 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); /* from precondition */ in evhH__post_thread_w_acquires_lock()