Searched refs:fxrng_push_seed_generation (Results 1 – 2 of 2) sorted by relevance
98 void fxrng_push_seed_generation(uint64_t gen);
270 fxrng_push_seed_generation(uint64_t gen) in fxrng_push_seed_generation() function