Searched refs:host_get_special_port_from_user (Results 1 – 2 of 2) sorted by relevance
213 host_get_special_port_from_user(
1361 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