Searched refs:pid_addr (Results 1 – 1 of 1) sorted by relevance
785 user_addr_t pid_addr = args->pid; in pid_for_task() local814 (void) copyout((char *) &pid, pid_addr, sizeof(int)); in pid_for_task()