1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  * All rights reserved.
5  */
6 
7 #ifndef TA_SIMS_H
8 #define TA_SIMS_H
9 
10 #include <ta_sims_test.h>
11 #include <tee_api.h>
12 
13 TEE_Result sims_open_session(void **ctx);
14 TEE_Result sims_open_ta_session(void *ctx, uint32_t nParamTypes,
15 				TEE_Param pParams[4]);
16 void sims_close_session(void *ctx);
17 TEE_Result sims_read(uint32_t nParamTypes, TEE_Param pParams[4]);
18 TEE_Result sims_write(uint32_t nParamTypes, TEE_Param pParams[4]);
19 TEE_Result sims_get_counter(void *session_context, uint32_t param_types,
20 			    TEE_Param params[4]);
21 TEE_Result sims_entry_panic(void *session_context, uint32_t nParamTypes,
22 			    TEE_Param pParams[4]);
23 
24 #endif
25