Searched refs:write_tag_table (Results 1 – 3 of 3) sorted by relevance
122 extern void write_tag_table (char *filename);
115 write_tag_table (char *filename) in write_tag_table() function
1772 write_tag_table (real_output_filename); in convert_from_loaded_file()