Searched refs:map_save (Results 1 – 1 of 1) sorted by relevance
4570 FILE *map_save = config.map_file; in dprint_statement() local4585 config.map_file = map_save; in dprint_statement()