Searched refs:icc_release_port (Results 1 – 3 of 3) sorted by relevance
178 ipc_port_t icc_release_port; member
2064 if (icc->icc_release_port) { in ipc_right_copyin_cleanup_destroy()2065 ip_release(icc->icc_release_port); in ipc_right_copyin_cleanup_destroy()2142 icc->icc_release_port = IP_NULL; in ipc_right_copyin()2320 icc->icc_release_port = port; in ipc_right_copyin()2367 icc->icc_release_port = port; in ipc_right_copyin()2468 icc->icc_release_port = port; in ipc_right_copyin()
1967 assert(!IP_VALID(st->dest_cleanup.icc_release_port)); in ipc_kmsg_copyin_header_rights()