Lines Matching full:restored
822 // Thus it can be seen that the current position is saved and restored823 // by the choice nodes, whereas the registers are saved and restored by
