diff options
Diffstat (limited to 'vm')
| -rw-r--r-- | vm/vm_map.c | 2 | ||||
| -rw-r--r-- | vm/vm_page.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c index d7c7fa66..abe2aa83 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -725,7 +725,7 @@ error: static struct shell_cmd vm_map_shell_cmds[] = { SHELL_CMD_INITIALIZER("vm_map_info", vm_map_shell_info, "vm_map_info <task_name>", - "print information about a VM map"), + "display information about a VM map"), }; #endif /* X15_SHELL */ diff --git a/vm/vm_page.c b/vm/vm_page.c index b6753192..4ddf34a2 100644 --- a/vm/vm_page.c +++ b/vm/vm_page.c @@ -670,7 +670,7 @@ vm_page_shell_info(int argc, char **argv) static struct shell_cmd vm_page_shell_cmds[] = { SHELL_CMD_INITIALIZER("vm_page_info", vm_page_shell_info, "vm_page_info", - "print information about physical memory"), + "display information about physical memory"), }; #endif /* X15_SHELL */ |