Symbol: stfrng_rnd
sys/arch/riscv64/dev/stfrng.c
114
timeout_set(&sc->sc_to, stfrng_rnd, sc);
sys/arch/riscv64/dev/stfrng.c
115
stfrng_rnd(sc);
sys/arch/riscv64/dev/stfrng.c
74
void stfrng_rnd(void *);