Searched refs:save_dbgfil (Results 1 – 1 of 1) sorted by relevance
13566 FILE *save_dbgfil = gbl.dbgfil; in dmp_var() local13573 gbl.dbgfil = save_dbgfil; in dmp_var()