1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2018-2020, Linaro Limited 4 */ 5 6 #ifndef PKCS11_HELPERS_H 7 #define PKCS11_HELPERS_H 8 9 #include <stdint.h> 10 #include <stddef.h> 11 12 #if CFG_TEE_TA_LOG_LEVEL > 0 13 /* Id-to-string conversions only for trace support */ 14 const char *id2str_ta_cmd(uint32_t id); 15 #endif 16 #endif /*PKCS11_HELPERS_H*/ 17