Searched refs:saved_pid (Results 1 – 1 of 1) sorted by relevance
392 int saved_pid = pid; in follow_exec() local443 inferior_ptid = pid_to_ptid (saved_pid); in follow_exec()