1 // SPDX-License-Identifier: BSD-2-Clause 2 /* 3 * Texas Instruments K3 DTHEV2 Driver 4 * 5 * Copyright (C) 2025 Texas Instruments Incorporated - https://www.ti.com/ 6 * T Pratham <t-pratham@ti.com> 7 */ 8 9 #include <drivers/ti_sci.h> 10 #include <initcall.h> 11 #include <io.h> 12 #include <keep.h> 13 #include <kernel/interrupt.h> 14 #include <kernel/misc.h> 15 #include <kernel/spinlock.h> 16 #include <mm/core_memprot.h> 17 #include <mm/core_mmu.h> 18 #include <platform_config.h> 19 #include <rng_support.h> 20 21 #include "eip76d_trng.h" 22 23 static TEE_Result dthev2_init(void) 24 { 25 TEE_Result result = TEE_SUCCESS; 26 27 /* Initialize the RNG Module */ 28 result = eip76d_rng_init(); 29 if (result != TEE_SUCCESS) 30 return result; 31 32 IMSG("DTHEv2 Drivers initialized"); 33 34 return TEE_SUCCESS; 35 } 36 service_init_crypto(dthev2_init); 37