tag	line	file	source code
random_pool	226	drivers/char/random.c	static __u32 random_pool[POOLWORDS];
random_pool	254	drivers/char/random.c	random_state.pool = random_pool;