111,112c111
< const char *what() const throw() override { return "RESET"; }
< bool is_reset() const override { return true; }
---
> UnwindExceptionReset() { _isReset = true; }
118,119c117
< const char *what() const throw() override { return "KILL"; }
< bool is_reset() const override { return false; }
---
> UnwindExceptionKill() {}
197,200d194
< // Update our state.
< _terminated = true;
< _isUnwinding = true;
<
208a203,209
> // Update our state.
> _terminated = true;
> _isUnwinding = true;
> _suspendedReady = false;
> _suspended = false;
> _syncReset = false;
>
218,220d218
< // Update our state.
< _isUnwinding = true;
<
228a227,229
> // Update our state.
> _isUnwinding = true;
>
246c247
< // Let this process preempt us.
---
> scheduler.runNow(this);
292c293
< } catch(::sc_core::sc_unwind_exception exc) {
---
> } catch(const ::sc_core::sc_unwind_exception &exc) {
293a295
> _isUnwinding = false;