local_hex_string (PIDGET (inferior_ptid)));
hex_string (PIDGET (inferior_ptid)));
vx_run_files_info (void){  printf_unfiltered ("\tRunning %s VxWorks process %s",		     vx_running ? "child" : "attached",		     local_hex_string (PIDGET (inferior_ptid)));  if (vx_running)    printf_unfiltered (", function `%s'", vx_running);  printf_unfiltered (".\n");}