| Jens Wiklander | e9babd9 | 2018-04-20 11:20:59 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: BSD-2-Clause */ |
| 2 | /* Copyright (c) 2018, Linaro Limited */ |
| 3 | |
| 4 | #ifndef __MBEDTLS_TAF_H |
| 5 | #define __MBEDTLS_TAF_H |
| 6 | |
| 7 | #include <tee_internal_api.h> |
| 8 | |
| 9 | TEE_Result ta_entry_mbedtls_self_tests(uint32_t param_type, |
| 10 | TEE_Param params[TEE_NUM_PARAMS]); |
| Jens Wiklander | f7ffa64 | 2018-04-20 16:25:21 +0200 | [diff] [blame] | 11 | TEE_Result ta_entry_mbedtls_check_cert(uint32_t param_type, |
| 12 | TEE_Param params[TEE_NUM_PARAMS]); |
| Jens Wiklander | da0208e | 2018-04-30 09:34:01 +0200 | [diff] [blame] | 13 | TEE_Result ta_entry_mbedtls_sign_cert(uint32_t param_type, |
| 14 | TEE_Param params[TEE_NUM_PARAMS]); |
| Jens Wiklander | e9babd9 | 2018-04-20 11:20:59 +0200 | [diff] [blame] | 15 | |
| 16 | #endif /*__MBEDTLS_TAF_H*/ |