max_read_thresh  2217 drivers/char/random.c static int max_read_thresh = OUTPUT_POOL_WORDS * 32;
max_read_thresh  2299 drivers/char/random.c 		.extra2		= &max_read_thresh,