Searched refs:icc_deleted_port (Results 1 – 2 of 2) sorted by relevance
179 ipc_port_t icc_deleted_port; member
2067 if (icc->icc_deleted_port) { in ipc_right_copyin_cleanup_destroy()2068 ipc_notify_port_deleted(icc->icc_deleted_port, name); in ipc_right_copyin_cleanup_destroy()2143 icc->icc_deleted_port = IP_NULL; in ipc_right_copyin()2301 icc->icc_deleted_port = request; in ipc_right_copyin()2446 icc->icc_deleted_port = request; in ipc_right_copyin()2509 icc->icc_deleted_port = request; in ipc_right_copyin()