Line 75... |
Line 75... |
struct {
|
struct {
|
char memory_table_file[STR_SIZE]; /* Memory table filename */
|
char memory_table_file[STR_SIZE]; /* Memory table filename */
|
int pattern; /* A user specified memory initialization pattern */
|
int pattern; /* A user specified memory initialization pattern */
|
int random_seed; /* Initialize the memory with random values, starting with seed */
|
int random_seed; /* Initialize the memory with random values, starting with seed */
|
enum {
|
enum {
|
|
MT_UNKNOWN,
|
MT_PATTERN,
|
MT_PATTERN,
|
MT_RANDOM
|
MT_RANDOM
|
} type;
|
} type;
|
} memory;
|
} memory;
|
|
|
Line 101... |
Line 102... |
char prof_fn[STR_SIZE]; /* Profiler filename */
|
char prof_fn[STR_SIZE]; /* Profiler filename */
|
FILE *fprof; /* Profiler file */
|
FILE *fprof; /* Profiler file */
|
int iprompt; /* Interactive prompt */
|
int iprompt; /* Interactive prompt */
|
} sim;
|
} sim;
|
|
|
int inhibit_server; /* Don't start up the JTAG proxy server */
|
struct {
|
|
int enabled; /* Whether is debug module enabled */
|
|
int gdb_enabled; /* Whether is debugging with gdb possible */
|
int server_port; /* A user specified port number for services */
|
int server_port; /* A user specified port number for services */
|
|
} debug;
|
|
|
char *script_file; /* Script file that should be used */
|
char *script_file; /* Script file that should be used */
|
char *filename; /* Original Command Simulator file (CZ) */
|
char *filename; /* Original Command Simulator file (CZ) */
|
};
|
};
|
|
|
|
#ifdef DEBUGMOD_OFF
|
|
#define DEBUG_ENABLED 0
|
|
#define GDB_ENABLED 0
|
|
#else
|
|
#define DEBUG_ENABLED config.debug.enabled
|
|
#define GDB_ENABLED config.debug.gdb_enabled
|
|
#endif
|
|
|
extern struct config config;
|
extern struct config config;
|
|
|
/* Read environment from a script file. Does not fail - assumes defaukt configuration instead. */
|
/* Read environment from a script file. Does not fail - assumes defaukt configuration instead. */
|
void read_script_file (char *filename);
|
void read_script_file (char *filename);
|
|
|
No newline at end of file
|
No newline at end of file
|