export_symbol      67 scripts/genksyms/genksyms.h void export_symbol(const char *);
export_symbol     494 scripts/genksyms/parse.y 		{ export_symbol((*$3)->string); $$ = $5; }