/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 * All rights reserved.
 */

#ifndef TA_SIMS_H
#define TA_SIMS_H

#include <ta_sims_test.h>
#include <tee_api.h>

TEE_Result sims_open_session(void **ctx);
TEE_Result sims_open_ta_session(void *ctx, uint32_t nParamTypes,
				TEE_Param pParams[4]);
void sims_close_session(void *ctx);
TEE_Result sims_read(uint32_t nParamTypes, TEE_Param pParams[4]);
TEE_Result sims_write(uint32_t nParamTypes, TEE_Param pParams[4]);
TEE_Result sims_get_counter(void *session_context, uint32_t param_types,
			    TEE_Param params[4]);
TEE_Result sims_entry_panic(void *session_context, uint32_t nParamTypes,
			    TEE_Param pParams[4]);

#endif