Searched refs:OSetWord_Remove (Results 1 – 4 of 4) sorted by relevance
318 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()385 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()403 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()408 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()
148 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
784 Bool VG_(OSetWord_Remove)(AvlTree* t, UWord val) in VG_() argument
4558 was_a_successful_aio_read = VG_(OSetWord_Remove)(aiocbp_table, (UWord)aiocbp); in PRE()