event data outsourced, SAL config flags revised, tiny coding-style fixes.

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1462 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
adrian
2012-07-30 13:39:25 +00:00
parent adb2bf2787
commit 6b540d738c
8 changed files with 448 additions and 134 deletions

View File

@ -24,7 +24,22 @@ typedef uint32_t regwidth_t; //!< type of register width [bits]
typedef register_data_t regdata_t; //!< type of register data
typedef timer_t timer_id_t; //!< type of timer IDs
extern const address_t ADDR_INV; //!< invalid address flag (defined in Memory.cc)
// The following flags are defined in SALConfig.cc.
// FIXME: The flags should be initialized based on simulator-specific values!
//! invalid address flag (e.g. for memory address ptrs)
extern const address_t ADDR_INV;
//! address wildcard (e.g. for breakpoint listeners)
extern const address_t ANY_ADDR;
//! instruction wildcard (e.g. for jump listeners)
extern const unsigned ANY_INSTR;
//! trap wildcard
extern const unsigned ANY_TRAP;
//! interrupt wildcard
extern const unsigned ANY_INTERRUPT;
//! invalid timer id (e.g. for timer listeners)
extern const timer_id_t INVALID_TIMER;
} // end-of-namespace: fail