Searched refs:exclaves_endpoint_call_internal (Results 1 – 1 of 1) sorted by relevance
121 exclaves_endpoint_call_internal(ipc_port_t port, exclaves_id_t endpoint_id);326 kr = exclaves_endpoint_call_internal(IPC_PORT_NULL, identifier); in _exclaves_ctl_trap()863 kr = exclaves_endpoint_call_internal(port, endpoint_id); in exclaves_endpoint_call()1122 exclaves_endpoint_call_internal(__unused ipc_port_t port, in exclaves_endpoint_call_internal() function