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
13 typedef 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