tag	line	file	source code
module_name	117	kernel/module.c	sys_create_module(char *module_name, unsigned long size)
module_name	128	kernel/module.c	if (module_name == NULL || size == 0)
module_name	130	kernel/module.c	if ((error = get_mod_name(module_name, name)) != 0)
module_name	168	kernel/module.c	sys_init_module(char *module_name, char *code, unsigned codesize,
module_name	194	kernel/module.c	if ((error = get_mod_name(module_name, name)) != 0)
module_name	257	kernel/module.c	sys_delete_module(char *module_name)
module_name	266	kernel/module.c	if (module_name != NULL) {
module_name	267	kernel/module.c	if ((error = get_mod_name(module_name, name)) != 0)