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