Symbol: fxrng_brng_read
sys/dev/random/fenestrasX/fx_brng.h
60
void fxrng_brng_read(struct fxrng_buffered_rng *, void *, size_t);
sys/dev/random/fenestrasX/fx_main.c
251
fxrng_brng_read(rng, output, nbytes);