Symbol: fxrng_brng_src_reseed