static void end_callbacks (void) { if (callbacks_initialized) { gdb_callback.shutdown (&gdb_callback); callbacks_initialized = 0; } }
void kill_inferior (void) { sim_close (gdbsim_desc, 0); default_callback.shutdown (&default_callback); }