// Copyright 2018 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SRC_PERFORMANCE_CPUPERF_PRINT_TALLIES_H_
#define SRC_PERFORMANCE_CPUPERF_PRINT_TALLIES_H_

#include <stdio.h>

#include "session_result_spec.h"
#include "session_spec.h"
#include "src/performance/lib/perfmon/controller.h"
#include "src/performance/lib/perfmon/events.h"

void PrintTallyResults(FILE* f, const cpuperf::SessionSpec& spec,
                       const cpuperf::SessionResultSpec& result_spec,
                       const perfmon::ModelEventManager* model_event_manager,
                       perfmon::Controller* controller);

#endif  // SRC_PERFORMANCE_CPUPERF_PRINT_TALLIES_H_