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