-static void
-set_dcache_command (char *arg, int from_tty)
-{
- printf_unfiltered (
- "\"set dcache\" must be followed by the name of a subcommand.\n");
- help_list (dcache_set_list, "set dcache ", all_commands, gdb_stdout);
-}
-
-static void
-show_dcache_command (char *args, int from_tty)
-{
- cmd_show_list (dcache_show_list, from_tty, "");
-}
-