Searched refs:icc_release_port (Results 1 – 3 of 3) sorted by relevance
183 ipc_port_t icc_release_port; member
2115 if (icc->icc_release_port) { in ipc_right_copyin_cleanup_destroy()2116 ip_release(icc->icc_release_port); in ipc_right_copyin_cleanup_destroy()2192 icc->icc_release_port = IP_NULL; in ipc_right_copyin()2381 icc->icc_release_port = port; in ipc_right_copyin()2436 icc->icc_release_port = port; in ipc_right_copyin()2545 icc->icc_release_port = port; in ipc_right_copyin()
2063 assert(!IP_VALID(st->dest_cleanup.icc_release_port)); in ipc_kmsg_copyin_header_rights()