Searched refs:stats_logfile (Results 1 – 1 of 1) sorted by relevance
412 static FILE *stats_logfile; variable425 stats_logfile = fopen("/dev/tty", "w+"); in krb5int_thread_support_init()426 if (stats_logfile == NULL) in krb5int_thread_support_init()427 stats_logfile = stderr; in krb5int_thread_support_init()495 fflush(stats_logfile); in krb5int_thread_support_fini()572 fprintf(stats_logfile, "mutex @%p: created at line %d of %s\n", in krb5int_mutex_report_stats()575 fprintf(stats_logfile, "\tnever locked\n"); in krb5int_mutex_report_stats()580 fprintf(stats_logfile, in krb5int_mutex_report_stats()