tag	line	file	source code
to_user	573	drivers/char/random.c	int nbytes, int to_user)
to_user	615	drivers/char/random.c	if (to_user)