1*963051aaSJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2*963051aaSJerome Forissier /* 3*963051aaSJerome Forissier * Copyright (c) 2014, STMicroelectronics International N.V. 4*963051aaSJerome Forissier */ 5*963051aaSJerome Forissier #ifndef CORE_PTA_TESTS_MISC_H 6*963051aaSJerome Forissier #define CORE_PTA_TESTS_MISC_H 7*963051aaSJerome Forissier 8*963051aaSJerome Forissier #include <compiler.h> 9*963051aaSJerome Forissier #include <tee_api_types.h> 10*963051aaSJerome Forissier #include <tee_api_defines.h> 11*963051aaSJerome Forissier 12*963051aaSJerome Forissier /* basic run-time tests */ 13*963051aaSJerome Forissier TEE_Result core_self_tests(uint32_t nParamTypes, 14*963051aaSJerome Forissier TEE_Param pParams[TEE_NUM_PARAMS]); 15*963051aaSJerome Forissier 16*963051aaSJerome Forissier TEE_Result core_fs_htree_tests(uint32_t nParamTypes, 17*963051aaSJerome Forissier TEE_Param pParams[TEE_NUM_PARAMS]); 18*963051aaSJerome Forissier 19*963051aaSJerome Forissier TEE_Result core_mutex_tests(uint32_t nParamTypes, 20*963051aaSJerome Forissier TEE_Param pParams[TEE_NUM_PARAMS]); 21*963051aaSJerome Forissier 22*963051aaSJerome Forissier #ifdef CFG_LOCKDEP 23*963051aaSJerome Forissier TEE_Result core_lockdep_tests(uint32_t nParamTypes, 24*963051aaSJerome Forissier TEE_Param pParams[TEE_NUM_PARAMS]); 25*963051aaSJerome Forissier #else 26*963051aaSJerome Forissier static inline TEE_Result core_lockdep_tests( 27*963051aaSJerome Forissier uint32_t nParamTypes __unused, 28*963051aaSJerome Forissier TEE_Param pParams[TEE_NUM_PARAMS] __unused) 29*963051aaSJerome Forissier { 30*963051aaSJerome Forissier return TEE_ERROR_NOT_SUPPORTED; 31*963051aaSJerome Forissier } 32*963051aaSJerome Forissier #endif 33*963051aaSJerome Forissier 34*963051aaSJerome Forissier #endif /*CORE_PTA_TESTS_MISC_H*/ 35