Symbol: pcg64u_random_r
sys/kern/subr_prng.c
114
r = pcg64u_random_r(DPCPU_PTR(pcpu_prng64_state));
sys/kern/subr_prng.c
60
uint64_t r = pcg64u_random_r(state64);