diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/libmisc/stackchk/stackchk.h | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/c/src/libmisc/stackchk/stackchk.h b/c/src/libmisc/stackchk/stackchk.h index b35251007d..1b40da5e0c 100644 --- a/c/src/libmisc/stackchk/stackchk.h +++ b/c/src/libmisc/stackchk/stackchk.h @@ -33,6 +33,48 @@ void Stack_check_Initialize( void ); void Stack_check_Dump_usage( void ); +/* + * Stack_check_Create_extension + */ + +boolean Stack_check_Create_extension( + Thread_Control *running, + Thread_Control *the_thread +); + +/* + * Stack_check_Begin_extension + */ + +void Stack_check_Begin_extension( + Thread_Control *the_thread +); + +/* + * Stack_check_Switch_extension + */ + +void Stack_check_Switch_extension( + Thread_Control *running, + Thread_Control *heir +); + +/* + * Extension set definition + */ + +#define STACK_CHECKER_EXTENSION \ +{ \ + Stack_check_Create_extension, /* rtems_task_create */ \ + 0, /* rtems_task_start */ \ + 0, /* rtems_task_restart */ \ + 0, /* rtems_task_delete */ \ + Stack_check_Switch_extension, /* task_switch */ \ + Stack_check_Begin_extension, /* task_begin */ \ + 0, /* task_exitted */ \ + 0 /* Stack_check_Fatal_extension */, /* fatal */ \ +} + #ifdef __cplusplus } #endif |