Symbol: FXENT_RESEED_BASE
sys/dev/random/fenestrasX/fx_pool.c
581
if ((k % FXENT_RESEED_BASE) != 0)
sys/dev/random/fenestrasX/fx_pool.c
583
k /= FXENT_RESEED_BASE;