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