42 pcg64u_srandom_r(pcg64u_random_t *state64, uint64_t seed)  in pcg64u_srandom_r()  argument
44 	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()  argument
51 	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()  argument
60 		uint64_t r = pcg64u_random_r(state64);  in pcg64u_boundedrand_r()
74 	pcg64u_random_t *state64;  in prng_init()  local
80 		state64 = DPCPU_ID_PTR(i, pcpu_prng64_state);  in prng_init()
81 		pcg64u_srandom_r(state64, 1);  in prng_init()