1*22ce4affSfengbojiang /* This file is in the public domain. */
2*22ce4affSfengbojiang 
3*22ce4affSfengbojiang #include <sys/cdefs.h>
4*22ce4affSfengbojiang __FBSDID("$FreeBSD$");
5*22ce4affSfengbojiang #include <sys/libkern.h>
6*22ce4affSfengbojiang 
7*22ce4affSfengbojiang #include <sodium/randombytes.h>
8*22ce4affSfengbojiang 
9*22ce4affSfengbojiang void
randombytes_buf(void * buf,size_t size)10*22ce4affSfengbojiang randombytes_buf(void *buf, size_t size)
11*22ce4affSfengbojiang {
12*22ce4affSfengbojiang 	arc4random_buf(buf, size);
13*22ce4affSfengbojiang }
14