rnd_sc            805 dev/rnd.c      	rndstats.rnd_sc[state]++;
rnd_sc             70 dev/rndvar.h   	quad_t rnd_sc[RND_SRC_NUM]; /* add* calls */