RND_SRC_NUM       400 dev/rnd.c      struct timer_rand_state rnd_states[RND_SRC_NUM];
RND_SRC_NUM       721 dev/rnd.c      	if (state < 0 || state >= RND_SRC_NUM)
RND_SRC_NUM        70 dev/rndvar.h   	quad_t rnd_sc[RND_SRC_NUM]; /* add* calls */
RND_SRC_NUM        71 dev/rndvar.h   	quad_t rnd_sb[RND_SRC_NUM]; /* add* bits */