Searched refs:exclaves_endpoint_call_internal (Results 1 – 1 of 1) sorted by relevance
122 exclaves_endpoint_call_internal(ipc_port_t port, exclaves_id_t endpoint_id);327 kr = exclaves_endpoint_call_internal(IPC_PORT_NULL, identifier); in _exclaves_ctl_trap()808 kr = exclaves_endpoint_call_internal(port, endpoint_id); in exclaves_endpoint_call()1067 exclaves_endpoint_call_internal(__unused ipc_port_t port, in exclaves_endpoint_call_internal() function