Searched defs:endpoint_id (Results 1 – 3 of 3) sorted by relevance
471 exclaves_xnuproxy_endpoint_call(Exclaves_L4_Word_t endpoint_id) in exclaves_xnuproxy_endpoint_call()
793 exclaves_endpoint_call(ipc_port_t port, exclaves_id_t endpoint_id, in exclaves_endpoint_call()1068 exclaves_id_t endpoint_id) in exclaves_endpoint_call_internal()
45 exclaves_endpoint_call(mach_port_t port, exclaves_id_t endpoint_id, in exclaves_endpoint_call()