osfmk/ipc/ipc_kmsg.c

1653 	mach_port_name_t dest_name = CAST_MACH_PORT_TO_NAME(msg->msgh_remote_port);
1691 	if (!MACH_PORT_VALID(dest_name))
1735 	if (dest_name == voucher_name) {
1776 		kr = ipc_right_copyin_two(space, dest_name, dest_entry,
1818 		if (dest_name == reply_name) {
1826 			dest_entry = ipc_entry_lookup(space, dest_name);
1837 			kr = ipc_right_copyin_two(space, dest_name, dest_entry,
1876 			dest_entry = ipc_entry_lookup(space, dest_name);
1905 			kr = ipc_right_copyin(space, dest_name, dest_entry,
1913 			kr = ipc_right_copyin(space, dest_name, dest_entry,
1983 		ipc_entry_dealloc(space, dest_name, dest_entry);
2026 				needboost = ipc_port_request_sparm(dport, dest_name,
2032 				ipc_port_request_sparm(dport, dest_name, dest_entry->ie_request);
2063 		ipc_notify_port_deleted(dest_soright, dest_name);
3093 	mach_port_name_t dest_name, reply_name;
3267 	 *	reply_name is taken care of; we still need dest_name.
3313 					dest_type, &dest_name);
3328 				dest_name = MACH_PORT_DEAD;
3330 				dest_name = MACH_PORT_NULL;
3333 			dest_name = MACH_PORT_DEAD;
3368 	msg->msgh_local_port = CAST_MACH_NAME_TO_PORT(dest_name);
3967 	mach_port_name_t dest_name, reply_name;
3984 	mr = (ipc_kmsg_copyout_object(space, dest, dest_type, &dest_name) |
3988 	kmsg->ikm_header->msgh_remote_port = CAST_MACH_NAME_TO_PORT(dest_name);
4027 	mach_port_name_t dest_name, reply_name, voucher_name;
4044 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
4049 		dest_name = MACH_PORT_DEAD;
4068 	kmsg->ikm_header->msgh_local_port = CAST_MACH_NAME_TO_PORT(dest_name);
4260 	mach_port_name_t dest_name, reply_name;
4271 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
4276 		dest_name = MACH_PORT_DEAD;
4284 	kmsg->ikm_header->msgh_local_port =  CAST_MACH_NAME_TO_PORT(dest_name);
4298 	mach_port_name_t dest_name, reply_name;
4309 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
4314 		dest_name = MACH_PORT_DEAD;
4322 	kmsg->ikm_header->msgh_local_port =  CAST_MACH_NAME_TO_PORT(dest_name);