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