Searched refs:OSetWord_Remove (Results 1 – 4 of 4) sorted by relevance
267 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()331 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()349 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()354 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()
149 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
786 Bool VG_(OSetWord_Remove)(AvlTree* t, UWord val) in VG_() argument
3820 was_a_successful_aio_read = VG_(OSetWord_Remove)(aiocbp_table, (UWord)aiocbp); in PRE()