Searched refs:print_header_stdio (Results 1 – 1 of 1) sorted by relevance
1558 static void print_header_stdio(void) in sort_contention_result() 1620 print_header_stdio(); in print_header() 1561 static void print_header_stdio(void) print_header_stdio() function