945 	user_addr_t             task_addr = args->t;  in task_for_pid()  local
962 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
969 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1081 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1114 	user_addr_t             task_addr = args->t;  in task_name_for_pid()  local
1128 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1170 			(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1182 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1206 	user_addr_t             task_addr = args->t;  in task_inspect_for_pid()  local
1220 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1226 		(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1302 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1328 	user_addr_t             task_addr = args->t;  in task_read_for_pid()  local
1342 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1348 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1424 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1536 	user_addr_t             task_addr = args->t;  in debug_control_port_for_pid()  local
1553 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1560 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1651 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()