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