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