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 /* Based on GP TEE Internal API Specification Version 0.22 */ 7b0104773SPascal Brand #ifndef TEE_TA_API_H 8b0104773SPascal Brand #define TEE_TA_API_H 9b0104773SPascal Brand 10*4b0f9953SJens Wiklander #include <tee_internal_api.h> 11b0104773SPascal Brand 12b0104773SPascal Brand #endif 13