318   char *execd_pathname;  member
371 follow_exec (int pid, char *execd_pathname)  in follow_exec()  argument
408   printf_unfiltered ("Executing new program: %s\n", execd_pathname);  in follow_exec()
426   exec_file_attach (execd_pathname, 0);  in follow_exec()
429   symbol_file_add_main (execd_pathname, 0);  in follow_exec()
1435       pending_follow.execd_pathname =  in handle_inferior_event()
1436 	savestring (ecs->ws.value.execd_pathname,  in handle_inferior_event()
1437 		    strlen (ecs->ws.value.execd_pathname));  in handle_inferior_event()
1441       follow_exec (PIDGET (inferior_ptid), pending_follow.execd_pathname);  in handle_inferior_event()
1442       xfree (pending_follow.execd_pathname);  in handle_inferior_event()
3633 inferior_has_execd (int pid, char **execd_pathname)  in inferior_has_execd()  argument
3646   *execd_pathname = xstrdup (last.value.execd_pathname);  in inferior_has_execd()