sys/dev/random/fenestrasX/fx_brng.c

190

ASSERT_DEBUG(nbytes > rem, "invariant");

sys/dev/random/fenestrasX/fx_brng.c

196

ASSERT_DEBUG(nbytes != 0, "invariant");

sys/dev/random/fenestrasX/fx_brng.c

238

ASSERT_DEBUG(keysz == FX_CHACHA20_KEYSIZE, "keysz: %zu", keysz);

sys/dev/random/fenestrasX/fx_brng.c

95

ASSERT_DEBUG(rng->brng_generation > 0, "root RNG not seeded");

sys/dev/random/fenestrasX/fx_main.c

204

ASSERT_DEBUG(atomic_load_acq_64(&fxrng_root_generation) != 0,

sys/dev/random/fenestrasX/fx_pool.c

312

ASSERT_DEBUG(event->he_size <= sizeof(event->he_entropy),

sys/dev/random/fenestrasX/fx_pool.c

514

ASSERT_DEBUG(n > 0 && n <= FXRNG_NPOOLS, "n:%u", n);

sys/dev/random/fenestrasX/fx_rng.h

60

ASSERT_DEBUG(len == FX_CHACHA20_KEYSIZE, "chacha20 uses 256 bit keys");