Searched refs:exclaves_endpoint_call_internal (Results 1 – 1 of 1) sorted by relevance
124 exclaves_endpoint_call_internal(ipc_port_t port, exclaves_id_t endpoint_id);270 kr = exclaves_endpoint_call_internal(IPC_PORT_NULL, identifier); in _exclaves_ctl_trap()751 kr = exclaves_endpoint_call_internal(port, endpoint_id); in exclaves_endpoint_call()1017 exclaves_endpoint_call_internal(__unused ipc_port_t port, in exclaves_endpoint_call_internal() function