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