xref: /optee_os/lib/libutee/include/tee_ta_api.h (revision 86d6bc20855b2dece41c97c2984695edc9e2df05) 
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.22 */
7 #ifndef TEE_TA_API_H
8 #define TEE_TA_API_H
9 
10 #include <tee_internal_api.h>
11 
12 #endif
13