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