max_write_thresh 2218 drivers/char/random.c static int max_write_thresh = INPUT_POOL_WORDS * 32;
max_write_thresh 2308 drivers/char/random.c 		.extra2		= &max_write_thresh,