Searched refs:print_search_statistics (Results 1 – 3 of 3) sorted by relevance
2126 print_search_statistics (void) in print_search_statistics() function
1149 print_search_statistics (); in cxx_print_statistics()
4252 extern void print_search_statistics (void);