static void switch_to_process (struct process_info *proc) { int pid = pid_of (proc); current_thread = find_any_thread_of_pid (pid); }
static struct thread_info * find_thread_process (const struct process_info *const process) { return find_any_thread_of_pid (process->pid); }