osfmk/ipc/ipc_kmsg.c

1579 	mach_port_name_t dest_name = CAST_MACH_PORT_TO_NAME(msg->msgh_remote_port);
1609 	if (!MACH_PORT_VALID(dest_name))
1618 	dest_entry = ipc_entry_lookup(space, dest_name);
1638 	if (dest_name == reply_name) {
1639 		mach_port_name_t name = dest_name;
1812 		dest_entry = ipc_entry_lookup(space, dest_name);
1816 		kr = ipc_right_copyin(space, dest_name, dest_entry,
1826 			ipc_entry_dealloc(space, dest_name, dest_entry);
1868 		dest_entry = ipc_entry_lookup(space, dest_name);
1883 		kr = ipc_right_copyin(space, dest_name, dest_entry,
1908 			ipc_entry_dealloc(space, dest_name, dest_entry);
1929 			ipc_port_request_sparm(dport, dest_name, dest_entry->ie_request);
1937 		ipc_notify_port_deleted(dest_soright, dest_name);
2932 	mach_port_name_t dest_name, reply_name;
3030 	 *	reply_name is taken care of; we still need dest_name.
3078 					dest_type, &dest_name);
3092 				dest_name = MACH_PORT_DEAD;
3094 				dest_name = MACH_PORT_NULL;
3097 			dest_name = MACH_PORT_DEAD;
3108 	msg->msgh_local_port = CAST_MACH_NAME_TO_PORT(dest_name);
3702 	mach_port_name_t dest_name, reply_name;
3707 	mr = (ipc_kmsg_copyout_object(space, dest, dest_type, &dest_name) |
3711 	kmsg->ikm_header->msgh_remote_port = CAST_MACH_NAME_TO_PORT(dest_name);
3740 	mach_port_name_t dest_name, reply_name;
3752 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
3757 		dest_name = MACH_PORT_DEAD;
3768 	kmsg->ikm_header->msgh_local_port = CAST_MACH_NAME_TO_PORT(dest_name);
3959 	mach_port_name_t dest_name, reply_name;
3970 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
3975 		dest_name = MACH_PORT_DEAD;
3983 	kmsg->ikm_header->msgh_local_port =  CAST_MACH_NAME_TO_PORT(dest_name);
3997 	mach_port_name_t dest_name, reply_name;
4008 		ipc_object_copyout_dest(space, dest, dest_type, &dest_name);
4013 		dest_name = MACH_PORT_DEAD;
4021 	kmsg->ikm_header->msgh_local_port =  CAST_MACH_NAME_TO_PORT(dest_name);