Searched refs:fprintf_time (Results 1 – 1 of 1) sorted by relevance
73 static int fprintf_time(FILE *file) in fprintf_time() function 100 ret = fprintf_time(debug_file()); in veprintf()