#include <9pm/u.h> #include <9pm/libc.h> void memrandom(void *a, int n) { randomread(a, n); }