1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
| /* SPDX-License-Identifier: BSD-2-Clause */
| /*
| * Copyright (c) 2014, STMicroelectronics International N.V.
| */
|
| /* Based on GP TEE Internal API Specification Version 0.27 */
| #ifndef TEE_INTERNAL_API_H
| #define TEE_INTERNAL_API_H
|
| #include <tee_api.h>
| #include <tee_api_defines.h>
| #include <tee_api_types.h>
| #include <tee_ta_api.h>
|
| #endif
|
|
