sim_kill ();	 inferior_pid = 0;
inferior_ptid = null_ptid;
gdbsim_kill (){  if (sr_get_debug ())    printf_filtered ("gdbsim_kill\n");  sim_kill ();	/* close fd's, remove mappings */  inferior_pid = 0;}