| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (c) 2014, STMicroelectronics International N.V. | |
| */ | |
| /* Based on GP TEE Internal API Specification Version 0.27 */ | |
| #ifndef TEE_INTERNAL_API_H | |
| #define TEE_INTERNAL_API_H | |
| #include <tee_api.h> | |
| #include <tee_api_defines.h> | |
| #include <tee_api_types.h> | |
| #include <tee_ta_api.h> | |
| #endif |