/* 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 |