static void gdbsim_stop PARAMS ((void));
-static void simulator_command PARAMS ((char *args, int from_tty));
+void simulator_command PARAMS ((char *args, int from_tty));
/* Naming convention:
/* Pass the command argument through to the simulator verbatim. The
simulator must do any command interpretation work. */
-static void
+void
simulator_command (args, from_tty)
char *args;
int from_tty;
}
sim_do_command (gdbsim_desc, args);
+
+ /* Invalidate the register cache, in case the simulator command does
+ something funny. */
+ registers_changed ();
}
/* Define the target subroutine names */