Lines Matching full:addr64
203 static IRExpr* mk_ecu_Expr ( Addr64 guest_IP )
281 Addr64 curr_IP = 0;
855 static Bool chase_into_ok ( void* closureV, Addr64 addr64 )
857 Addr addr = (Addr)addr64;
875 if (ULong_to_Ptr(addr64)
1128 static void gen_push_and_set_LR_R2 ( IRSB* bb, Addr64 new_R2_value )
1131 Addr64 bogus_RA = (Addr64)&VG_(ppctoc_magic_redirect_return_stub);
1297 static Bool const_True ( Addr64 guest_addr )
1333 Addr64 nraddr,
1339 Addr64 addr;
1367 Addr64 tmp = VG_(redir_do_lookup)( nraddr, &isWrap );
1535 vta.guest_bytes_addr = (Addr64)addr;
1613 vg_assert( vge.base[0] == (Addr64)addr );
