tag	line	file	source code
ent_count	728	drivers/char/random.c	int *p, size, ent_count;
ent_count	775	drivers/char/random.c	ent_count = get_user(p++);
ent_count	778	drivers/char/random.c	random_state.entropy_count += ent_count;