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