rumpuser_getrandom
rumpuser_getrandom(auth, sizeof(auth), 0, &randlen);
int rumpuser_getrandom(void *, size_t, int, size_t *);
if (rumpuser_getrandom(rnddata + n, bytes - n,