rng_whiten
*v = rng_whiten(rng, in_be64(rng->regs));
*v = rng_whiten(rng, __raw_rm_readq(rng->regs_real));