2575604b41
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1321 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
36 lines
756 B
Plaintext
36 lines
756 B
Plaintext
#ifndef __JUMP_TO_PREVIOUS_CTX_AH__
|
|
#define __JUMP_TO_PREVIOUS_CTX_AH__
|
|
|
|
#include "config/FailConfig.hpp"
|
|
|
|
// FIXME: What's the purpose of this file/code? Deprecated?
|
|
|
|
#if 0
|
|
// #if defined(CONFIG_SR_RESTORE) || defined(CONFIG_SR_REBOOT)
|
|
|
|
#include "bochs.h"
|
|
#include "../SALInst.hpp"
|
|
|
|
aspect jumpToPreviousCtx
|
|
{
|
|
pointcut end_reset_handler() = "void bx_gui_c::reset_handler(...)";
|
|
//|| "int bxmain()";
|
|
|
|
|
|
advice execution (end_reset_handler()) : after ()
|
|
{
|
|
|
|
if (fail::restore_bochs_request || fail::reboot_bochs_request )
|
|
{
|
|
fail::restore_bochs_request = false;
|
|
fail::reboot_bochs_request = false;
|
|
fail::simulator.toPreviousCtx();
|
|
}
|
|
|
|
}
|
|
};
|
|
|
|
#endif // CONFIG_SR_RESTORE || CONFIG_SR_REBOOT
|
|
|
|
#endif // __JUMP_TO_PREVIOUS_CTX_AH__
|