Lines Matching defs:orig_addr
1721 Addr orig_addr = vge.base[0];1727 (void*)orig_addr,1731 // use orig_addr, not the first instruction address in vge.1732 sbInfo = VG_(OSetGen_Remove)(instrInfoTable, &orig_addr);