32#include <sys/kernel.h>
38#if !PCG_HAS_128BIT_OPS
41 pcg32u_random_t states[2];
47 pcg32u_srandom_r(&state64->
states[0], seed);
48 pcg32u_srandom_r(&state64->
states[1], seed);
54 return ((((uint64_t)pcg32u_random_r(&state64->
states[0])) << 32) |
55 pcg32u_random_r(&state64->
states[1]));
61 uint64_t threshold = -bound % bound;
76 pcg32u_random_t *state;
81 state = DPCPU_ID_PTR(i, pcpu_prng32_state);
82 pcg32u_srandom_r(state, 1);
83 state64 = DPCPU_ID_PTR(i, pcpu_prng64_state);
95 r = pcg32u_random_r(DPCPU_PTR(pcpu_prng32_state));
106 r = pcg32u_boundedrand_r(DPCPU_PTR(pcpu_prng32_state), bound);
pcg32u_random_t states[2]
uint64_t prng64_bounded(uint64_t bound)
uint32_t prng32_bounded(uint32_t bound)
static uint64_t pcg64u_random_r(pcg64u_random_t *state64)
static uint64_t pcg64u_boundedrand_r(pcg64u_random_t *state64, uint64_t bound)
static void pcg64u_srandom_r(pcg64u_random_t *state64, uint64_t seed)
DPCPU_DEFINE_STATIC(pcg32u_random_t, pcpu_prng32_state)
SYSINIT(prng_init, SI_SUB_CPU, SI_ORDER_ANY, prng_init, NULL)
static void prng_init(void *dummy __unused)