Searched refs:icc_deleted_port (Results 1 – 3 of 3) sorted by relevance
184 ipc_port_t icc_deleted_port; member
2118 if (icc->icc_deleted_port) { in ipc_right_copyin_cleanup_destroy()2119 ipc_notify_port_deleted(icc->icc_deleted_port, name); in ipc_right_copyin_cleanup_destroy()2193 icc->icc_deleted_port = IP_NULL; in ipc_right_copyin()2359 icc->icc_deleted_port = request; in ipc_right_copyin()2521 icc->icc_deleted_port = request; in ipc_right_copyin()2585 icc->icc_deleted_port = request; in ipc_right_copyin()
629 if (moved_provisional_reply_port(msgt_name, icc.icc_deleted_port)) { in ipc_object_copyin()