1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 
6 #ifndef TEE_API_H
7 #define TEE_API_H
8 
9 #include <tee_internal_api.h>
10 
11 #endif /* TEE_API_H */
12