Lines Matching defs:src

1012                                      Addr src, Addr dst, SizeT len )
1016 libhb_copy_shadow_state( hbthr, src, dst, len );
1570 void evh__copy_mem ( Addr src, Addr dst, SizeT len ) {
1572 VG_(printf)("evh__copy_mem(%p, %p, %lu)\n", (void*)src, (void*)dst, len );
1575 shadow_mem_scopy_range( thr , src, dst, len );
3494 Addr dst_ga; /* src/dst of the edge */
3631 static void laog__add_edge ( Lock* src, Lock* dst ) {
3635 if (0) VG_(printf)("laog__add_edge %p %p\n", src, dst);
3638 presentF if there is already a src->dst mapping in this node's
3639 forwards links, and presentR if there is already a src->dst
3647 /* Update the out edges for src */
3650 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) {
3653 tl_assert(keyW == (UWord)src);
3661 VG_(addToFM)( laog, (UWord)src, (UWord)links );
3670 inns_new = HG_(addToWS)( univ_laog, links->inns, (UWord)src );
3675 links->inns = HG_(singletonWS)( univ_laog, (UWord)src );
3682 if (!presentF && src->acquired_at && dst->acquired_at) {
3685 information for both src and dst, record those acquisition
3688 required src-dst ordering was previously established. */
3690 src->guestaddr, dst->guestaddr);
3691 expo.src_ga = src->guestaddr;
3701 expo2->src_ga = src->guestaddr;
3703 expo2->src_ec = src->acquired_at;
3714 static void laog__del_edge ( Lock* src, Lock* dst ) {
3717 if (0) VG_(printf)("laog__del_edge enter %p %p\n", src, dst);
3718 /* Update the out edges for src */
3721 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) {
3723 tl_assert(keyW == (UWord)src);
3732 links->inns = HG_(delFromWS)( univ_laog, links->inns, (UWord)src );
3735 /* Remove the exposition of src,dst (if present) */
3740 expo.src_ga = src->guestaddr;
3827 /* If there is a path in laog from 'src' to any of the elements in
3829 'src'. If no path exist from 'src' to any element in 'dst', return
3833 Lock* laog__do_dfs_from_to ( Lock* src, WordSetID dsts /* univ_lsets */ )
3846 'src' :-), so don't bother to try */
3854 (void) VG_(addToXA)( stack, &src );