osfmk/ipc/ipc_kmsg.c

149   mach_port_name_t				name;
184 			mach_port_name_t	name);
279 	const char *name = ipc_type_name64(type_name, TRUE);
280 	if (name) {
281 		kprintf("%s", name);
386 	const char	*name;
390 		name = "PHYSICAL";
393 		name = "VIRTUAL";
396 		name = "OVERWRITE";
399 		name = "ALLOCATE";
402 		name = "KALLOC_COPY_T";
405 		name = "unknown";
408 	return name;
433 		kprintf("    PORT name = %p disp = ", dsc->name);
908 		if (!IO_VALID((ipc_object_t) dsc->name))
910 		ipc_object_destroy((ipc_object_t) dsc->name, dsc->disposition);
1639 		mach_port_name_t name = dest_name;
1653 		dest_entry = ipc_entry_lookup(space, name);
1658 		assert(reply_type != 0); /* because name not null */
1660 		if (!ipc_right_copyin_check(space, name, reply_entry, reply_type))
1667 			 *	destination, this entry must name a live
1668 			 *	port (not a dead name or dead port).  However
1681 			kr = ipc_right_copyin(space, name, dest_entry,
1702 			kr = ipc_right_copyin(space, name, reply_entry,
1719 			kr = ipc_right_copyin(space, name, dest_entry,
1747 			kr = ipc_right_copyin_two(space, name, dest_entry,
1755 				ipc_entry_dealloc(space, name, dest_entry);
1774 			kr = ipc_right_copyin(space, name, dest_entry,
1785 				ipc_entry_dealloc(space, name, dest_entry);
1853 		 *	both rights have dead-name requests registered.
1854 		 *	If a port dies before copyin, a dead-name notification
1855 		 *	is generated and the dead name's urefs are incremented,
2009     mach_port_name_t		name;
2015     name = (mach_port_name_t)user_dsc->name;
2016     if (MACH_PORT_VALID(name)) {
2018         kern_return_t kr = ipc_object_copyin(space, name, user_disp, &object);
2029         dsc->name = (ipc_port_t) object;
2031         dsc->name = CAST_MACH_NAME_TO_PORT(name);
2259         mach_port_name_t name = names[i];
2262         if (!MACH_PORT_VALID(name)) {
2263             objects[i] = (ipc_object_t)CAST_MACH_NAME_TO_PORT(name);
2267         kern_return_t kr = ipc_object_copyin(space, name, user_disp, &object);
2629 		    mach_msg_type_name_t 	name;
2636 		    name = dsc->disposition;
2637 		    object = (ipc_object_t) dsc->name;
2638 		    dsc->disposition = ipc_object_copyin_type(name);
2644 		    ipc_object_copyin_from_kernel(object, name);
2672 		    mach_msg_type_name_t    		name;
2678 		    name = dsc->disposition;
2679 		    dsc->disposition = ipc_object_copyin_type(name);
2689 		        ipc_object_copyin_from_kernel(object, name);
2772 		    mach_msg_type_name_t 	name;
2781 		    name = dsc->disposition;
2782 		    object = (ipc_object_t) CAST_MACH_NAME_TO_PORT(dsc->name);
2783 		    dest_dsc->disposition = ipc_object_copyin_type(name);
2784             dest_dsc->name = (mach_port_t)object;
2791 		    ipc_object_copyin_from_kernel(object, name);
2832 		    mach_msg_type_name_t    		name;
2844 		    name = disposition;
2845 		    disposition = ipc_object_copyin_type(name);
2855 		        ipc_object_copyin_from_kernel(object, name);
2898  *			Notify is non-null and doesn't name a receive right.
2903  *			No room in space for another name.
2907  *			Couldn't allocate memory for the dead-name request.
3034 	 *	we return its name for the right.  Otherwise the task
3118  *		Copy-out a port right.  Always returns a name,
3125  *			(name is valid) or the object is dead (MACH_PORT_DEAD).
3177     mach_port_name_t		name;
3182     port = dsc->port.name;
3187             &name);
3193         user_dsc->name = CAST_MACH_NAME_TO_PORT(name);
3200         user_dsc->name = CAST_MACH_PORT_TO_NAME(name);
3502  *		MACH_MSG_IPC_SPACE	No room for port right in name space.
3684  *		MACH_MSG_IPC_SPACE	No room for port right in name space.
4040         mach_port_t name = dsc->name;
4043         dest_dsc->name = CAST_MACH_PORT_TO_NAME(name);