diff options
Diffstat (limited to 'cpukit/include/rtems/rtl/rtl-shell.h')
-rw-r--r-- | cpukit/include/rtems/rtl/rtl-shell.h | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/cpukit/include/rtems/rtl/rtl-shell.h b/cpukit/include/rtems/rtl/rtl-shell.h index b0a6e8d8d4..9230b619c6 100644 --- a/cpukit/include/rtems/rtl/rtl-shell.h +++ b/cpukit/include/rtems/rtl/rtl-shell.h @@ -16,6 +16,8 @@ #if !defined (_RTEMS_RTL_SHELL_H_) #define _RTEMS_RTL_SHELL_H_ +#include <rtems/print.h> + #ifdef __cplusplus extern "C" { #endif /* __cplusplus */ @@ -30,6 +32,32 @@ extern "C" { */ int rtems_rtl_shell_command (int argc, char* argv[]); +/** + * List object files. + */ +int rtems_rtl_shell_list (const rtems_printer* printer, int argc, char* argv[]); + +/** + * Symbols. + */ +int rtems_rtl_shell_sym (const rtems_printer* printer, int argc, char* argv[]); + +/** + * Object files. + */ +int rtems_rtl_shell_object (const rtems_printer* printer, int argc, char* argv[]); + + +/** + * Archive files. + */ +int rtems_rtl_shell_archive (const rtems_printer* printer, int argc, char* argv[]); + +/** + * Call text symbol. + */ +int rtems_rtl_shell_call (const rtems_printer* printer, int argc, char* argv[]); + #ifdef __cplusplus } #endif /* __cplusplus */ |