ref: 600bbfe4aaa9ad0f73d8d73eef1b7670e5f7d3a3
dir: /libsec/port/fastrand.c/
#include "os.h"
#include <libsec.h>
/*
* use the X917 random number generator to create random
* numbers (faster than truerand() but not as random).
*/
u32
fastrand(void)
{
u32 x;
genrandom((uchar*)&x, sizeof x);
return x;
}