Home
last modified time | relevance | path

Searched refs:fxrng_push_seed_generation (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/dev/random/fenestrasX/
H A Dfx_brng.c110 fxrng_push_seed_generation(rng->brng_generation); in fxrng_brng_src_reseed()
133 fxrng_push_seed_generation(rng->brng_generation); in fxrng_brng_reseed()
147 fxrng_push_seed_generation(fxrng_root.brng_generation); in fxrng_vdso_sysinit()
/freebsd/sys/sys/
H A Dvdso.h96 void fxrng_push_seed_generation(uint64_t gen);
/freebsd/sys/kern/
H A Dkern_sharedpage.c268 fxrng_push_seed_generation(uint64_t gen) in fxrng_push_seed_generation() function