Searched refs:kern_port (Results 1 – 1 of 1) sorted by relevance
1040 ipc_port_t kern_port; in port_name_to_eventlink() local1048 kr = ipc_port_translate_send(current_space(), name, &kern_port); in port_name_to_eventlink()1054 assert(IP_VALID(kern_port)); in port_name_to_eventlink()1056 kr = convert_port_to_eventlink_locked(kern_port, ipc_eventlink_ptr); in port_name_to_eventlink()1057 ip_mq_unlock(kern_port); in port_name_to_eventlink()