erpc/tfm.erpc

/*!
 * Copyright (c) 2023, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

@c:include("psa/client.h")

program tfm_erpc

@external type psa_handle_t = int32
@external type psa_status_t = int32

interface psa_client_api {
    psa_framework_version() -> uint32
    psa_version(uint32 sid) -> uint32
    erpc_psa_call(psa_handle_t handle, int32 t, list<binary> erpc_in_vec, inout list<binary> erpc_out_vec) -> psa_status_t
    psa_connect(uint32 sid, uint32 ver) -> psa_handle_t
    psa_close(psa_handle_t handle) -> void
}