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