Home | History | Annotate | Download | only in priv

Lines Matching full:restart_point

1608    'restart_point', which is presumably the address of the guest
1611                     Addr64 restart_point )
1629             IRConst_U64( restart_point ),
1992      generated, and restart_point must be zero (it is irrelevant).
1995      generated.  texpVal is the expected value, restart_point
2003                          IRTemp taddr, IRTemp texpVal, Addr64 restart_point )
2037          vassert(restart_point == 0);
2043                 mkexpr(texpVal), mkexpr(tres), restart_point );
2062                          IRTemp taddr, IRTemp texpVal, Addr64 restart_point )
2096          vassert(restart_point == 0);
2102                 mkexpr(texpVal), mkexpr(tres), restart_point );