Searched refs:dumpfp (Results 1 – 1 of 1) sorted by relevance
121 FILE *dumpfp; in main() local230 dumpfp = rtsold_init_dumpfile(RTSOL_DUMPFILE); in main()232 dumpfp = NULL; in main()297 if (dumpfp != NULL) in main()298 rtsold_dump(dumpfp); in main()