Searched refs:port_to_release (Results 1 – 1 of 1) sorted by relevance
1249 ipc_port_t port_to_release = IP_NULL; in ipc_right_delta() local1473 port_to_release = port; in ipc_right_delta()1522 if (port_to_release != IP_NULL) { in ipc_right_delta()1523 ip_release(port_to_release); in ipc_right_delta()1524 port_to_release = IP_NULL; in ipc_right_delta()1625 port_to_release = port; in ipc_right_delta()1636 if (port_to_release != IP_NULL) { in ipc_right_delta()1637 ip_release(port_to_release); in ipc_right_delta()1638 port_to_release = IP_NULL; in ipc_right_delta()1672 if (port_to_release) { in ipc_right_delta()[all …]