ref: f5683254d71662c2dc536dba1d2f6fbf5bf10af3 dir: /libsec/prng.c/
#include "os.h" #include <libsec.h> // // just use the libc prng to fill a buffer // void prng(uchar *p, int n) { uchar *e; for(e = p+n; p < e; p++) *p = rand(); }