blob: 01892ad1820ff54beb498d12d13f5a3048d42cf8 [file] [log] [blame]
Etienne Carriere75141172020-05-16 11:58:23 +02001/* SPDX-License-Identifier: BSD-2-Clause */
Pascal Brandc639ac82015-07-02 08:53:34 +02002/*
3 * Copyright (c) 2014, STMicroelectronics International N.V.
4 * All rights reserved.
Pascal Brandc639ac82015-07-02 08:53:34 +02005 */
6
7#ifndef OS_TEST_H
8#define OS_TEST_H
9
10#include <tee_api.h>
11
12TEE_Result ta_entry_basic(uint32_t param_types, TEE_Param params[4]);
13TEE_Result ta_entry_client_with_timeout(uint32_t param_types,
14 TEE_Param params[4]);
15TEE_Result ta_entry_panic(uint32_t param_types, TEE_Param params[4]);
16TEE_Result ta_entry_client(uint32_t param_types, TEE_Param params[4]);
Etienne Carriere281065d2016-10-28 15:41:33 +020017TEE_Result ta_entry_params_access_rights(uint32_t p_types, TEE_Param params[4]);
Pascal Brandc639ac82015-07-02 08:53:34 +020018TEE_Result ta_entry_wait(uint32_t param_types, TEE_Param params[4]);
19TEE_Result ta_entry_bad_mem_access(uint32_t param_types, TEE_Param params[4]);
Jerome Forissiere916b102017-06-07 17:55:52 +020020TEE_Result ta_entry_ta2ta_memref(uint32_t param_types, TEE_Param params[4]);
21TEE_Result ta_entry_ta2ta_memref_mix(uint32_t param_types,
22 TEE_Param params[4]);
Jens Wiklander87e81702018-03-20 12:00:00 +080023TEE_Result ta_entry_params(uint32_t param_types, TEE_Param params[4]);
Cedric Neveux9f483bb2019-03-04 08:58:06 +010024TEE_Result ta_entry_null_memref(uint32_t param_types, TEE_Param params[4]);
Jerome Forissier53bde722018-05-31 09:14:54 +020025TEE_Result ta_entry_call_lib(uint32_t param_types, TEE_Param params[4]);
26TEE_Result ta_entry_call_lib_panic(uint32_t param_types, TEE_Param params[4]);
Jerome Forissiera9ab5d02019-03-17 21:14:06 +010027TEE_Result ta_entry_call_lib_dl(uint32_t param_types, TEE_Param params[4]);
28TEE_Result ta_entry_call_lib_dl_panic(uint32_t param_types, TEE_Param params[4]);
Jerome Forissiere9571e82020-02-18 15:26:20 +010029TEE_Result ta_entry_get_global_var(uint32_t param_types, TEE_Param params[4]);
Vesa Jääskeläinen41ff0802020-04-05 20:11:46 +030030TEE_Result ta_entry_client_identity(uint32_t param_types, TEE_Param params[4]);
Pascal Brandc639ac82015-07-02 08:53:34 +020031
32#endif /*OS_TEST_H */