/* This file is in the public domain. */

#include <sys/cdefs.h>
__FBSDID("$FreeBSD$");
#include <sys/libkern.h>

#include <sodium/randombytes.h>

void
randombytes_buf(void *buf, size_t size)
{
	arc4random_buf(buf, size);
}