diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2008-02-19 19:44:21 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2008-02-19 19:44:21 +0000 |
| commit | 54b2e4b926058f1f23179d9e5552272b2f7c0696 (patch) | |
| tree | 1a2a0bda7999b086e8a2efd573b498ae611923b6 /cpukit/libmisc/shell/main_wkspaceinfo.c | |
| parent | Regenerate. (diff) | |
| download | rtems-54b2e4b926058f1f23179d9e5552272b2f7c0696.tar.bz2 | |
2008-02-19 Joel Sherrill <joel.sherrill@oarcorp.com>
* libmisc/Makefile.am, libmisc/shell/main_wkspaceinfo.c,
libmisc/shell/shell.c, libmisc/shell/shellconfig.h: Add route and
ifconfig commands. The code for these was previously in the
networking guide. Disable NFS filesystem mount until that code is in
cpukit.
* libmisc/shell/main_ifconfig.c, libmisc/shell/main_route.c: New files.
Diffstat (limited to 'cpukit/libmisc/shell/main_wkspaceinfo.c')
| -rw-r--r-- | cpukit/libmisc/shell/main_wkspaceinfo.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cpukit/libmisc/shell/main_wkspaceinfo.c b/cpukit/libmisc/shell/main_wkspaceinfo.c index e3b3492d39..b5df7a4b42 100644 --- a/cpukit/libmisc/shell/main_wkspaceinfo.c +++ b/cpukit/libmisc/shell/main_wkspaceinfo.c @@ -21,6 +21,7 @@ #include <rtems.h> #include <rtems/malloc.h> #include <rtems/shell.h> +#include <rtems/score/protectedheap.h> #include "internal.h" int rtems_shell_main_wkspace_info( @@ -31,8 +32,7 @@ int rtems_shell_main_wkspace_info( Heap_Information_block info; extern void classinfo_tester(); - /* XXX lock allocator and do not violate visibility */ - _Heap_Get_information( &_Workspace_Area, &info ); + _Protected_heap_Get_information( &_Workspace_Area, &info ); rtems_shell_print_heap_info( "free", &info.Free ); rtems_shell_print_heap_info( "used", &info.Used ); @@ -41,7 +41,7 @@ int rtems_shell_main_wkspace_info( rtems_shell_cmd_t rtems_shell_WKSPACE_INFO_Command = { "wkspace", /* name */ - "", /* usage */ + "Report on RTEMS Executive Workspace", /* usage */ "rtems", /* topic */ rtems_shell_main_wkspace_info, /* command */ NULL, /* alias */ |