diff options
Diffstat (limited to 'tools/schedsim/shell/shared/schedsim_shell.h')
-rw-r--r-- | tools/schedsim/shell/shared/schedsim_shell.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/schedsim/shell/shared/schedsim_shell.h b/tools/schedsim/shell/shared/schedsim_shell.h index 4b23d1c42d..f9fc0b1b0d 100644 --- a/tools/schedsim/shell/shared/schedsim_shell.h +++ b/tools/schedsim/shell/shared/schedsim_shell.h @@ -20,6 +20,14 @@ extern "C" { #endif +#define CHECK_RTEMS_IS_UP() \ + do { \ + if ( _System_state_Current != SYSTEM_STATE_UP ) { \ + fprintf( stderr, "RTEMS is not initialized yet\n" ); \ + return -1; \ + } \ + } while (0) + void PRINT_EXECUTING(void); void PRINT_HEIR(void); |