Searched refs:ipc_eventlink_port (Results 1 – 1 of 1) sorted by relevance
266 ipc_port_t ipc_eventlink_port = IPC_PORT_NULL; in ipc_eventlink_destroy_internal() local299 ipc_eventlink_port = temp_ipc_eventlink->el_port; in ipc_eventlink_destroy_internal()300 assert(ipc_eventlink_port != IPC_PORT_NULL); in ipc_eventlink_destroy_internal()323 ipc_kobject_dealloc_port(ipc_eventlink_port, IPC_KOBJECT_NO_MSCOUNT, in ipc_eventlink_destroy_internal()