1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  * All rights reserved.
5  */
6 
7 #ifndef INIT_H
8 #define INIT_H
9 
10 #include <tee_api.h>
11 
12 TEE_Result ta_entry_init(uint32_t param_types, TEE_Param params[4]);
13 
14 #endif
15