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