ref: 44ce0097b612a1fefd754065bdf8d9d2e5ef60c8
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; }