rnd_used          937 dev/rnd.c      	rndstats.rnd_used += nbytes * 8;
rnd_used           55 dev/rndvar.h   	quad_t rnd_used;	/* strong data bits read so far */