sim_close (quitting);
if (gdbsim_desc != NULL) { sim_close (gdbsim_desc, quitting); gdbsim_desc = NULL; }  end_callbacks (); generic_mourn_inferior ();
gdbsim_close (quitting)     int quitting;{  if (sr_get_debug ())    printf_filtered ("gdbsim_close: quitting %d\n", quitting);  program_loaded = 0;  sim_close (quitting);}