1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#include <config.h>
10#include <basic_types.h>
11
12#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
13typedef struct {
14    timestamp_t schedule_start_time;
15    uint64_t    utilisation;
16    uint64_t    number_schedules;
17    uint64_t    kernel_utilisation;
18    uint64_t    number_kernel_entries;
19
20} benchmark_util_t;
21#endif /* CONFIG_BENCHMARK_TRACK_UTILISATION */
22
23