diff options
Diffstat (limited to 'src/sim/sim_exit.hh')
| -rw-r--r-- | src/sim/sim_exit.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sim/sim_exit.hh b/src/sim/sim_exit.hh index 55db55ff2..0a4634679 100644 --- a/src/sim/sim_exit.hh +++ b/src/sim/sim_exit.hh @@ -52,5 +52,9 @@ void registerExitCallback(Callback *); void exitSimLoop(const std::string &message, int exit_code = 0, Tick when = curTick(), Tick repeat = 0, bool serialize = false); +/// Schedule an event as above, but make it high priority so it runs before +/// any normal events which are schedule at the current time. +void exitSimLoopNow(const std::string &message, int exit_code = 0, + Tick repeat = 0, bool serialize = false); #endif // __SIM_EXIT_HH__ |