rnd_sb 806 dev/rnd.c rndstats.rnd_sb[state] += nbits; rnd_sb 71 dev/rndvar.h quad_t rnd_sb[RND_SRC_NUM]; /* add* bits */