Searched refs:exclaves_endpoint_call_internal (Results 1 – 1 of 1) sorted by relevance
123 exclaves_endpoint_call_internal(ipc_port_t port, exclaves_id_t endpoint_id);328 kr = exclaves_endpoint_call_internal(IPC_PORT_NULL, identifier); in _exclaves_ctl_trap()865 kr = exclaves_endpoint_call_internal(port, endpoint_id); in exclaves_endpoint_call()1124 exclaves_endpoint_call_internal(__unused ipc_port_t port, in exclaves_endpoint_call_internal() function