Home | History | Annotate | Download | only in priv

Lines Matching refs:t_addr1

6322           t_addr1, t_esp, t_mask, t_new;
6327              = t_addr0 = t_addr1 = t_esp 
6335    t_addr1   = newTemp(Ity_I32);
6377    assign( t_addr1, 
6382    /* t_addr1 now holds effective address */
6397    assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
6418          casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
6422          storeLE( mkexpr(t_addr1), mkexpr(t_new) );