avg_lat           273 test/monitoring/test_overhead.c                 double avg_lat = 0.0;
avg_lat           275 test/monitoring/test_overhead.c                     avg_lat += full_res[iter];
avg_lat           277 test/monitoring/test_overhead.c                 avg_lat /= FULL_NB_ITER;
avg_lat           284 test/monitoring/test_overhead.c                        avg_lat, max_lat);