943 	user_addr_t             task_addr = args->t;  in task_for_pid()  local
960 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
967 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1070 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1103 	user_addr_t             task_addr = args->t;  in task_name_for_pid()  local
1117 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1159 			(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1171 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1195 	user_addr_t             task_addr = args->t;  in task_inspect_for_pid()  local
1209 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1215 		(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1291 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1317 	user_addr_t             task_addr = args->t;  in task_read_for_pid()  local
1331 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1337 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1413 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1525 	user_addr_t             task_addr = args->t;  in debug_control_port_for_pid()  local
1542 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1549 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1640 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()