Home | History | Annotate | Download | only in priv

Lines Matching full:restart_point

749    'restart_point', which is presumably the address of the guest
752                     Addr32 restart_point )
769             IRConst_U32( restart_point ),
1116      generated, and restart_point must be zero (it is irrelevant).
1119      generated.  texpVal is the expected value, restart_point
1126                          IRTemp taddr, IRTemp texpVal, Addr32 restart_point )
1155          vassert(restart_point == 0);
1161                 mkexpr(texpVal), mkexpr(tres), restart_point );
1180                          IRTemp taddr, IRTemp texpVal, Addr32 restart_point )
1209          vassert(restart_point == 0);
1215                 mkexpr(texpVal), mkexpr(tres), restart_point );