blob: 20a7d1e60cc5091786fffebe8bf6d61c2d8e454f [file] [log] [blame]
Summer Qin153f3df2022-11-17 15:51:02 +08001/*!
2 * Copyright (c) 2023, Arm Limited. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 *
6 */
7
8@c:include("psa/client.h")
9
10program tfm_erpc
11
12@external type psa_handle_t = int32
13@external type psa_status_t = int32
14
15@group(psa_client_api) interface psa_client_api {
16 psa_framework_version() -> uint32
17 psa_version(uint32 sid) -> uint32
18 erpc_psa_call(psa_handle_t handle, int32 t, list<binary> erpc_in_vec, inout list<binary> erpc_out_vec) -> psa_status_t
19}
20
21@group(psa_connection_api) interface psa_connection_api {
22 psa_connect(uint32 sid, uint32 ver) -> psa_handle_t
23 psa_close(psa_handle_t handle) -> void
24}