/* Public domain. */

#ifndef _LINUX_RANDOM_H
#define _LINUX_RANDOM_H

#include <sys/types.h>
#include <sys/systm.h>

static inline uint32_t
get_random_u32(void)
{
	return arc4random();
}

static inline uint32_t
get_random_u32_below(uint32_t x)
{
	return arc4random_uniform(x);
}

static inline unsigned int
get_random_int(void)
{
	return arc4random();
}

static inline uint64_t
get_random_u64(void)
{
	uint64_t r;
	arc4random_buf(&r, sizeof(r));
	return r;
}

static inline unsigned long
get_random_long(void)
{
#ifdef __LP64__
	return get_random_u64();
#else
	return get_random_u32();
#endif
}

static inline uint32_t
prandom_u32_max(uint32_t x)
{
	return arc4random_uniform(x + 1);
}

static inline void
get_random_bytes(void *buf, int nbytes)
{
	arc4random_buf(buf, nbytes);
}

#endif