static void gdbsim_close (int quitting) { if (sr_get_debug ()) printf_filtered ("gdbsim_close: quitting %d\n", quitting); program_loaded = 0; if (gdbsim_desc != NULL) { sim_close (gdbsim_desc, quitting); gdbsim_desc = NULL; } end_callbacks (); generic_mourn_inferior (); }
static void gdbsim_close (int quitting) { if (remote_debug) printf_filtered ("gdbsim_close: quitting %d\n", quitting); program_loaded = 0; if (gdbsim_desc != NULL) { sim_close (gdbsim_desc, quitting); gdbsim_desc = NULL; } end_callbacks (); generic_mourn_inferior (); delete_thread_silent (remote_sim_ptid); delete_inferior_silent (ptid_get_pid (remote_sim_ptid)); }