Searched refs:debugfile (Results 1 – 1 of 1) sorted by relevance
721 FILE *debugfile; variable730 debugfile = fopen("/tmp/top.debug", "w"); in debug_set()745 vfprintf(debugfile, fmt, argp); in xdprintf()746 fflush(debugfile); in xdprintf()