1*4502832dSJorge Ramirez-Ortiz /* SPDX-License-Identifier: BSD-2-Clause */ 2*4502832dSJorge Ramirez-Ortiz /* 3*4502832dSJorge Ramirez-Ortiz * Copyright (C) 2022 Foundries.io Ltd 4*4502832dSJorge Ramirez-Ortiz */ 5*4502832dSJorge Ramirez-Ortiz 6*4502832dSJorge Ramirez-Ortiz #ifndef __DRIVERS_VERSAL_SHA3_384_H__ 7*4502832dSJorge Ramirez-Ortiz #define __DRIVERS_VERSAL_SHA3_384_H__ 8*4502832dSJorge Ramirez-Ortiz 9*4502832dSJorge Ramirez-Ortiz #include <platform_config.h> 10*4502832dSJorge Ramirez-Ortiz #include <tee_api_types.h> 11*4502832dSJorge Ramirez-Ortiz #include <types_ext.h> 12*4502832dSJorge Ramirez-Ortiz #include <util.h> 13*4502832dSJorge Ramirez-Ortiz 14*4502832dSJorge Ramirez-Ortiz TEE_Result versal_sha3_384(const uint8_t *src, size_t src_len, 15*4502832dSJorge Ramirez-Ortiz uint8_t *dst, size_t dst_len); 16*4502832dSJorge Ramirez-Ortiz 17*4502832dSJorge Ramirez-Ortiz #endif /*__DRIVERS_VERSAL_SHA3_384_H__*/ 18