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