bfedb10cac
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1740 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
49 lines
1.5 KiB
C++
49 lines
1.5 KiB
C++
#ifndef __SAL_CONFIG_HPP__
|
|
#define __SAL_CONFIG_HPP__
|
|
|
|
#include <stdint.h>
|
|
|
|
#include "config/VariantConfig.hpp"
|
|
|
|
// Type-config depends on the current selected simulator:
|
|
#if defined BUILD_BOCHS
|
|
#include "bochs/BochsConfig.hpp"
|
|
#elif defined BUILD_GEM5
|
|
#include "gem5/Gem5Config.hpp"
|
|
#elif defined BUILD_OVP
|
|
#include "ovp/OVPConfig.hpp"
|
|
#elif defined BUILD_QEMU
|
|
#include "qemu/QEMUConfig.hpp"
|
|
#elif defined BUILD_T32
|
|
#include "t32/T32Config.hpp"
|
|
#else
|
|
#error SAL Config Target not defined
|
|
#endif
|
|
|
|
namespace fail {
|
|
|
|
typedef guest_address_t address_t; //!< common address type to be used in experiment flows
|
|
typedef uint8_t byte_t; //!< 8 bit type for memory access (read or write)
|
|
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
|
|
|
|
// Note: The following flags are defined in SALConfig.cc.
|
|
|
|
//! 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
|
|
|
|
#endif // __SAL_CONFIG_HPP__
|