Lines Matching refs:ordinary
3203 // the possible partial transitions in ordinary execution are (1) g alone is updated,3210 // There is one exceptional transition to a system g, not in ordinary execution.
