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