Searched refs:state64 (Results 1 – 1 of 1) sorted by relevance
42 pcg64u_srandom_r(pcg64u_random_t *state64, uint64_t seed) in pcg64u_srandom_r() argument44 pcg32u_srandom_r(&state64->states[0], seed); in pcg64u_srandom_r()45 pcg32u_srandom_r(&state64->states[1], seed); in pcg64u_srandom_r()49 pcg64u_random_r(pcg64u_random_t *state64) in pcg64u_random_r() argument51 return ((((uint64_t)pcg32u_random_r(&state64->states[0])) << 32) | in pcg64u_random_r()52 pcg32u_random_r(&state64->states[1])); in pcg64u_random_r()56 pcg64u_boundedrand_r(pcg64u_random_t *state64, uint64_t bound) in pcg64u_boundedrand_r() argument60 uint64_t r = pcg64u_random_r(state64); in pcg64u_boundedrand_r()74 pcg64u_random_t *state64; in prng_init() local80 state64 = DPCPU_ID_PTR(i, pcpu_prng64_state); in prng_init()[all …]