void
ipc_notify_port_destroyed(
ipc_port_t port,
ipc_port_t right)
{
ipc_kmsg_t kmsg;
mach_port_destroyed_notification_t *n;
kmsg = ikm_alloc(sizeof *n);
if (kmsg == IKM_NULL) {
printf("dropped port-destroyed (%p, %p)\n",
port, right);
ipc_port_release_sonce(port);
ipc_port_release_receive(right);
return;
}
ikm_init(kmsg, sizeof *n);
n = (mach_port_destroyed_notification_t *) kmsg->ikm_header;
*n = ipc_notify_port_destroyed_template;
n->not_header.msgh_remote_port = (mach_port_t) port;
n->not_port.name = (mach_port_t)right;
ipc_mqueue_send_always(kmsg);
}
void
ipc_object_destroy(
ipc_object_t object,
mach_msg_type_name_t msgt_name)
{
assert(IO_VALID(object));
assert(io_otype(object) == IOT_PORT);
switch (msgt_name) {
case MACH_MSG_TYPE_PORT_SEND:
ipc_port_release_send((ipc_port_t) object);
break;
case MACH_MSG_TYPE_PORT_SEND_ONCE:
ipc_notify_send_once((ipc_port_t) object);
break;
case MACH_MSG_TYPE_PORT_RECEIVE:
ipc_port_release_receive((ipc_port_t) object);
break;
default:
panic("ipc_object_destroy: strange rights");
}
}
void
ipc_notify_port_destroyed(
ipc_port_t port,
ipc_port_t right)
{
kern_return_t kr;
kr = mach_notify_port_destroyed(port, right);
if (kr != KERN_SUCCESS) {
printf("dropped port-destroyed (0x%08x, 0x%08x)\n",
port, right);
ipc_port_release_sonce(port);
ipc_port_release_receive(right);
}
}