ref: da4e4af4c4d766178e1212baec18c88ce4523ccb 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(); }