1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2015, Linaro Limited 4 * All rights reserved. 5 */ 6 #ifndef TEE_API_PRIVATE 7 #define TEE_API_PRIVATE 8 9 #include <tee_api_types.h> 10 #include <utee_types.h> 11 12 13 void __utee_from_attr(struct utee_attribute *ua, const TEE_Attribute *attrs, 14 uint32_t attr_count); 15 16 void __utee_from_param(struct utee_params *up, uint32_t param_types, 17 const TEE_Param params[TEE_NUM_PARAMS]); 18 19 void __utee_to_param(TEE_Param params[TEE_NUM_PARAMS], 20 uint32_t *param_types, const struct utee_params *up); 21 22 void __utee_entry(unsigned long func, unsigned long session_id, 23 struct utee_params *up, unsigned long cmd_id); 24 25 26 #if defined(CFG_TA_GPROF_SUPPORT) 27 void __utee_gprof_init(void); 28 void __utee_gprof_fini(void); 29 #else 30 static inline void __utee_gprof_init(void) {} 31 static inline void __utee_gprof_fini(void) {} 32 #endif 33 34 #endif /*TEE_API_PRIVATE*/ 35 36