Searched refs:state64 (Results 1 – 1 of 1) sorted by relevance
45 pcg64u_srandom_r(pcg64u_random_t *state64, uint64_t seed) in pcg64u_srandom_r() argument47 pcg32u_srandom_r(&state64->states[0], seed); in pcg64u_srandom_r()48 pcg32u_srandom_r(&state64->states[1], seed); in pcg64u_srandom_r()52 pcg64u_random_r(pcg64u_random_t *state64) in pcg64u_random_r() argument54 return ((((uint64_t)pcg32u_random_r(&state64->states[0])) << 32) | in pcg64u_random_r()55 pcg32u_random_r(&state64->states[1])); in pcg64u_random_r()59 pcg64u_boundedrand_r(pcg64u_random_t *state64, uint64_t bound) in pcg64u_boundedrand_r() argument63 uint64_t r = pcg64u_random_r(state64); in pcg64u_boundedrand_r()77 pcg64u_random_t *state64; in prng_init() local83 state64 = DPCPU_ID_PTR(i, pcpu_prng64_state); in prng_init()[all …]