tag	line	file	source code
user_name	51	kernel/module.c	static int get_mod_name( char *user_name, char *buf);
user_name	418	kernel/module.c	get_mod_name(char *user_name, char *buf)
user_name	423	kernel/module.c	for (i = 0 ; (buf[i] = get_user(user_name + i)) != '\0' ; ) {