Searched refs:sum_us_trimmed (Results 1 – 1 of 1) sorted by relevance
54 double sum_us_trimmed = 0; in DumpStatsToStdout() local65 sum_us_trimmed += us; in DumpStatsToStdout()85 {label_trimmed, sum_us_trimmed / count_us_trimmed}, in DumpStatsToStdout()