| Etienne Carriere | 7514117 | 2020-05-16 11:58:23 +0200 | [diff] [blame^] | 1 | /* SPDX-License-Identifier: BSD-2-Clause */ |
| Pascal Brand | c639ac8 | 2015-07-02 08:53:34 +0200 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (c) 2014, STMicroelectronics International N.V. | ||||
| 4 | * All rights reserved. | ||||
| Pascal Brand | c639ac8 | 2015-07-02 08:53:34 +0200 | [diff] [blame] | 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 | ||||