printf_unfiltered ("Killing pid %s.\n", local_hex_string ((unsigned long) PIDGET (inferior_ptid)));
printf_unfiltered ("Killing pid %s.\n", hex_string ((unsigned long) PIDGET (inferior_ptid)));
vx_kill (void){  Rptrace ptrace_in;  Ptrace_return ptrace_out;  int status;  printf_unfiltered ("Killing pid %s.\n", local_hex_string ((unsigned long) PIDGET (inferior_ptid)));  memset ((char *) &ptrace_in, '\0', sizeof (ptrace_in));  memset ((char *) &ptrace_out, '\0', sizeof (ptrace_out));  ptrace_in.pid = PIDGET (inferior_ptid);  status = net_ptrace_clnt_call (PTRACE_KILL, &ptrace_in, &ptrace_out);  if (status == -1)    warning (rpcerr);  else if (ptrace_out.status == -1)    {      errno = ptrace_out.errno_num;      perror_with_name ("Killing VxWorks process");    }  /* If it gives good status, the process is *gone*, no events remain.     If the kill failed, assume the process is gone anyhow.  */  inferior_ptid = null_ptid;  pop_target ();		/* go back to non-executing VxWorks connection */}