Searched refs:kern_port (Results 1 – 1 of 1) sorted by relevance
1041 ipc_port_t kern_port; in port_name_to_eventlink() local1049 kr = ipc_port_translate_send(current_space(), name, &kern_port); in port_name_to_eventlink()1055 assert(IP_VALID(kern_port)); in port_name_to_eventlink()1057 kr = convert_port_to_eventlink_locked(kern_port, ipc_eventlink_ptr); in port_name_to_eventlink()1058 ip_mq_unlock(kern_port); in port_name_to_eventlink()