Definition in file exec.c.
Go to the source code of this file.
Defines | |
| #define | _MAX_PATH PATH_MAX |
| #define | PASSCMP(i, p) (p % 2 ? i <= ranks[p]->last_used : i >= ranks[p]->first_used) |
| #define | PASSINC(p) (p % 2 ? 1 : -1) |
| #define | PASSINIT(p) (p % 2 ? ranks[p]->first_used : ranks[p]->last_used) |
Functions | |
| int | exec_init () |
| The main system initialization sequence. | |
| STATUS | exec_start (void) |
| This is the main simulation loop. | |
| STATUS | exec_test (struct sync_data *data,int pass,OBJECT *obj) |
| Starts the executive test loop. | |
| char * | simtime (void) |
| STATUS | t_setup_ranks (void) |
| STATUS | t_sync_all (PASSCONFIG pass) |
Variables | |
| int | iteration_counter = 0 |
| int64 | lock_count = 0 |
| int64 | lock_spin = 0 |
| const PASSCONFIG | passtype [] = {PC_PRETOPDOWN, PC_BOTTOMUP, PC_POSTTOPDOWN} |
| int | stop_now |
| flag indicating the the debugger needs to be activated | |