static void gdbsim_cntrl_c (int signo) { gdbsim_stop (); }
static void gdbsim_cntrl_c (int signo) { gdbsim_stop (remote_sim_ptid); }