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