5.2.6 Unwind Completion

When an unwind is completed, the following conditions are true:

• The target procedure invocation is the most current invocation in the procedure invocation chain.
  
  
• The environment of the target invocation is restored to the state when that invocation was last current, except for the contents of scratch registers.
  
  
• Register GP contains a pointer to the shared global storage region for a target procedure that is contained in the main image.
  
  
• Register R0 contains the return value that was passed by the routine that invoked the unwind.
  
  
• Execution continues at the target location.