52#ifdef RANDOM_CONF_PRNG
53#define RANDOM_PRNG RANDOM_CONF_PRNG
55#define RANDOM_PRNG sfc32_prng
73 uint_fast16_t (*
rand)(void);
81void random_init(
void);
88static inline unsigned short
91 return RANDOM_PRNG.rand();
96#define RANDOM_RAND_MAX 65535U
Structure of PRNG drivers.
uint_fast16_t(* rand)(void)
Generates a 16-bit pseudo-random number.
void(* seed)(uint64_t seed)
Seeds the PRNG with a seed.