Function fxrng_push_seed_generation

freebsd/kern/kern_sharedpage.c:269–279

#ifdef RANDOM_FENESTRASX
void
fxrng_push_seed_generation(uint64_t gen)
{
	if (fxrng_shpage_mapping == NULL || !fxrng_enabled)
		return;
	KASSERT(gen < INT32_MAX,
	    ("fxrng seed version shouldn't roll over a 32-bit counter "
	     "for approximately 456,000 years"));
	atomic_store_rel_32(&fxrng_shpage_mapping->fx_generation32,
	    (uint32_t)gen);
}

static void
alloc_sv_fxrng_generation(void)