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