Searched refs:exclaves_endpoint_call_internal (Results 1 – 1 of 1) sorted by relevance
127 exclaves_endpoint_call_internal(ipc_port_t port, exclaves_id_t endpoint_id);318 kr = exclaves_endpoint_call_internal(IPC_PORT_NULL, identifier); in _exclaves_ctl_trap()804 kr = exclaves_endpoint_call_internal(port, endpoint_id); in exclaves_endpoint_call()1061 exclaves_endpoint_call_internal(__unused ipc_port_t port, in exclaves_endpoint_call_internal() function