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