Searched refs:OSetWord_Remove (Results 1 – 4 of 4) sorted by relevance
223 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()287 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()305 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()310 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()
149 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
709 Bool VG_(OSetWord_Remove)(AvlTree* t, UWord val) in VG_() argument
3801 was_a_successful_aio_read = VG_(OSetWord_Remove)(aiocbp_table, (UWord)aiocbp); in PRE()