tag	line	file	source code
symbol_table_size	142	kernel/module.c	extern int symbol_table_size;
symbol_table_size	152	kernel/module.c	i = verify_area(VERIFY_WRITE, to, symbol_table_size * sizeof *table);
symbol_table_size	155	kernel/module.c	for (i = symbol_table_size ; --i >= 0 ; ) {
symbol_table_size	162	kernel/module.c	return symbol_table_size;