Searched refs:ipc_eventlink_port (Results 1 – 1 of 1) sorted by relevance
267 ipc_port_t ipc_eventlink_port = IPC_PORT_NULL; in ipc_eventlink_destroy_internal() local300 ipc_eventlink_port = temp_ipc_eventlink->el_port; in ipc_eventlink_destroy_internal()301 assert(ipc_eventlink_port != IPC_PORT_NULL); in ipc_eventlink_destroy_internal()323 ipc_kobject_dealloc_port(ipc_eventlink_port, 0, IKOT_EVENTLINK); in ipc_eventlink_destroy_internal()