1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Texas Instruments K3 SA2UL Driver
4  *
5  * Copyright (C) 2022 Texas Instruments Incorporated - https://www.ti.com/
6  *	Andrew Davis <afd@ti.com>
7  */
8 
9 #ifndef __DRIVERS_SA2UL_H
10 #define __DRIVERS_SA2UL_H
11 
12 #include <tee_api_types.h>
13 
14 TEE_Result sa2ul_rng_init(void);
15 
16 #endif /* __DRIVERS_SA2UL_H */
17