1 /*- 2 * This file is in the public domain. 3 */ 4 5 #ifndef _SYS_PRNG_H_ 6 #define _SYS_PRNG_H_ 7 8 #define PCG_USE_INLINE_ASM 1 9 #include <contrib/pcg-c/include/pcg_variants.h> 10 11 #ifdef _KERNEL 12 __uint32_t prng32(void); 13 __uint32_t prng32_bounded(__uint32_t bound); 14 __uint64_t prng64(void); 15 __uint64_t prng64_bounded(__uint64_t bound); 16 #endif 17 18 #endif 19