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