xref: /optee_os/lib/libutee/include/tee_api.h (revision 4b0f9953ed63b83f70cc0e03e8f1607d5c7fe17b)
11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */
2b0104773SPascal Brand /*
3b0104773SPascal Brand  * Copyright (c) 2014, STMicroelectronics International N.V.
4b0104773SPascal Brand  */
5b0104773SPascal Brand 
6b0104773SPascal Brand #ifndef TEE_API_H
7b0104773SPascal Brand #define TEE_API_H
8b0104773SPascal Brand 
9*4b0f9953SJens Wiklander #include <tee_internal_api.h>
10b0104773SPascal Brand 
11b0104773SPascal Brand #endif /* TEE_API_H */
12