xref: /optee_os/lib/libutee/include/tee_ta_api.h (revision 4b0f9953ed63b83f70cc0e03e8f1607d5c7fe17b) 
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