blob: 3fe26f2666556c2ffe4893d952db253a91cd5b95 [file] [log] [blame]
/*
* Copyright (c) 2021-2022, Arm Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <stdbool.h>
#include <stdint.h>
int ffa_tee_find_dev(char *path, size_t path_len);
int ffa_tee_open_session(int fd, uint16_t part_id);
void ffa_tee_close_session(int fd);
int ffa_tee_send_msg(int fd, uint16_t iface_id, uint16_t opcode, size_t req_len, uint16_t encoding,
size_t *resp_len, int32_t *rpc_status, int32_t *opstatus);
int ffa_tee_list_part_ids(int fd, const uint8_t *uuid, uint16_t *id_buf, size_t id_buf_cnt,
size_t *populated, bool *buf_short);
int ffa_tee_share_mem(int fd, size_t req_size, void **addr, size_t *size, int *id);
void ffa_tee_reclaim_mem(int fd, void *addr, size_t size);