Searched refs:dumpfp (Results 1 – 1 of 1) sorted by relevance
120 FILE *dumpfp; in main() local235 dumpfp = rtsold_init_dumpfile(RTSOL_DUMPFILE); in main()237 dumpfp = NULL; in main()302 if (dumpfp != NULL) in main()303 rtsold_dump(dumpfp); in main()