local_hex_string (
hex_string (
vx_detach (char *args, int from_tty){  Rptrace ptrace_in;  Ptrace_return ptrace_out;  int signal = 0;  int status;  if (args)    error ("Argument given to VxWorks \"detach\".");  if (from_tty)    printf_unfiltered ("Detaching pid %s.\n",		       local_hex_string (		         (unsigned long) PIDGET (inferior_ptid)));  if (args)			/* FIXME, should be possible to leave suspended */    signal = atoi (args);  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_DETACH, &ptrace_in, &ptrace_out);  if (status == -1)    error (rpcerr);  if (ptrace_out.status == -1)    {      errno = ptrace_out.errno_num;      perror_with_name ("Detaching VxWorks process");    }  inferior_ptid = null_ptid;  pop_target ();		/* go back to non-executing VxWorks connection */}