942 	user_addr_t             task_addr = args->t;  in task_for_pid()  local
959 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
966 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1069 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_for_pid()
1102 	user_addr_t             task_addr = args->t;  in task_name_for_pid()  local
1116 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_name_for_pid()
1158 			(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()
1194 	user_addr_t             task_addr = args->t;  in task_inspect_for_pid()  local
1208 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1214 		(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1290 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_inspect_for_pid()
1316 	user_addr_t             task_addr = args->t;  in task_read_for_pid()  local
1330 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1336 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1412 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in task_read_for_pid()
1524 	user_addr_t             task_addr = args->t;  in debug_control_port_for_pid()  local
1541 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1548 		(void) copyout((char *)&tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()
1639 	(void) copyout((char *) &tret, task_addr, sizeof(mach_port_name_t));  in debug_control_port_for_pid()