Searched refs:OSetWord_Remove (Results 1 – 4 of 4) sorted by relevance
314 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()381 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()399 assert( VG_(OSetWord_Remove)(oset, vs[i]) ); in example1b()404 vg_assert( ! VG_(OSetWord_Remove)(oset, v) ); in example1b()
153 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
784 Bool VG_(OSetWord_Remove)(AvlTree* t, UWord val) in VG_() argument
4451 was_a_successful_aio_read = VG_(OSetWord_Remove)(aiocbp_table, (UWord)aiocbp); in PRE()