Home | History | Annotate | Download | only in priv

Lines Matching full:t_addr1

8087           t_addr1, t_rsp, t_mask, t_new;
8092              = t_addr0 = t_addr1 = t_rsp
8100    t_addr1   = newTemp(Ity_I64);
8169    assign( t_addr1, 
8174    /* t_addr1 now holds effective address */
8189    assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
8210          casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
8214          storeLE( mkexpr(t_addr1), mkexpr(t_new) );