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