Searched refs:rng_state (Results 1 – 1 of 1) sorted by relevance
1394 var rng_state; variable1431 if(rng_state == null) {1433 rng_state = prng_newstate();1434 rng_state.init(rng_pool);1441 return rng_state.next();