Lines Matching refs:name
152 mach_port_name_t name;
188 mach_port_name_t name);
283 const char *name = ipc_type_name64(type_name, TRUE);
284 if (name) {
285 kprintf("%s", name);
390 const char *name;
394 name = "PHYSICAL";
397 name = "VIRTUAL";
400 name = "OVERWRITE";
403 name = "ALLOCATE";
406 name = "KALLOC_COPY_T";
409 name = "unknown";
412 return name;
437 kprintf(" PORT name = %p disp = ", dsc->name);
916 if (!IO_VALID((ipc_object_t) dsc->name))
918 ipc_object_destroy((ipc_object_t) dsc->name, dsc->disposition);
1738 * If the destination name is the same as the voucher name,
1740 * the destination name is MACH_PORT_NULL (i.e. invalid).
1831 assert(reply_type != 0); /* because name not null */
1866 * If a port dies before copyin, a dead-name notification
1867 * is generated and the dead name's urefs are incremented,
1947 /* convert invalid name to equivalent ipc_object type */
2146 mach_port_name_t name;
2152 name = (mach_port_name_t)user_dsc->name;
2153 if (MACH_PORT_VALID(name)) {
2155 kern_return_t kr = ipc_object_copyin(space, name, user_disp, &object);
2166 dsc->name = (ipc_port_t) object;
2168 dsc->name = CAST_MACH_NAME_TO_PORT(name);
2396 mach_port_name_t name = names[i];
2399 if (!MACH_PORT_VALID(name)) {
2400 objects[i] = (ipc_object_t)CAST_MACH_NAME_TO_PORT(name);
2404 kern_return_t kr = ipc_object_copyin(space, name, user_disp, &object);
2787 mach_msg_type_name_t name;
2794 name = dsc->disposition;
2795 object = (ipc_object_t) dsc->name;
2796 dsc->disposition = ipc_object_copyin_type(name);
2802 ipc_object_copyin_from_kernel(object, name);
2830 mach_msg_type_name_t name;
2836 name = dsc->disposition;
2837 dsc->disposition = ipc_object_copyin_type(name);
2847 ipc_object_copyin_from_kernel(object, name);
2930 mach_msg_type_name_t name;
2939 name = dsc->disposition;
2940 object = (ipc_object_t) CAST_MACH_NAME_TO_PORT(dsc->name);
2941 dest_dsc->disposition = ipc_object_copyin_type(name);
2942 dest_dsc->name = (mach_port_t)object;
2949 ipc_object_copyin_from_kernel(object, name);
2990 mach_msg_type_name_t name;
3002 name = disposition;
3003 disposition = ipc_object_copyin_type(name);
3013 ipc_object_copyin_from_kernel(object, name);
3056 * Notify is non-null and doesn't name a receive right.
3061 * No room in space for another name.
3065 * Couldn't allocate memory for the dead-name request.
3271 * we return its name for the right. Otherwise the task
3379 * Copy-out a port right. Always returns a name,
3386 * (name is valid) or the object is dead (MACH_PORT_DEAD).
3438 mach_port_name_t name;
3443 port = dsc->port.name;
3448 &name);
3454 user_dsc->name = CAST_MACH_NAME_TO_PORT(name);
3461 user_dsc->name = CAST_MACH_PORT_TO_NAME(name);
3763 * MACH_MSG_IPC_SPACE No room for port right in name space.
3946 * MACH_MSG_IPC_SPACE No room for port right in name space.
4341 mach_port_t name = dsc->name;
4344 dest_dsc->name = CAST_MACH_PORT_TO_NAME(name);