Searched refs:ipc_eventlink_port (Results 1 – 1 of 1) sorted by relevance
271 ipc_port_t ipc_eventlink_port = IPC_PORT_NULL; in ipc_eventlink_destroy_internal() local304 ipc_eventlink_port = temp_ipc_eventlink->el_port; in ipc_eventlink_destroy_internal()305 assert(ipc_eventlink_port != IPC_PORT_NULL); in ipc_eventlink_destroy_internal()327 ipc_kobject_dealloc_port(ipc_eventlink_port, 0, IKOT_EVENTLINK); in ipc_eventlink_destroy_internal()