Searched refs:rng_state (Results 1 – 1 of 1) sorted by relevance
752 var rng_state; variable795 if (rng_state == null) {797 rng_state = prng_newstate();798 rng_state.init(rng_pool);805 return rng_state.next();