37 #include "esos_stm32l4.h"
38 #include "esos_stm32l4_utils.h"
65 uint32_t __esos_hw_PRNG_u32(
void) {
68 uint32_t u32_randomNum;
71 rng_get_random(&u32_randomNum);
98 void __esos_hw_config_PRNG(
void) {
132 void __esos_hw_set_PRNG_Seed(uint32_t u32_seed) {