Searched refs:host_get_special_port_from_user (Results 1 – 2 of 2) sorted by relevance
220 host_get_special_port_from_user(
1291 host_get_special_port_from_user(host_priv_t host_priv, __unused int node, int id, ipc_port_t * port… in host_get_special_port_from_user() function