mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
88a7d138c4
For each thread also track number of times scheduled, number of kernel entries and amount of cycles spent inside the kernel. Also add core-wide totals for each. Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
23 lines
470 B
C
23 lines
470 B
C
/*
|
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-only
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <config.h>
|
|
#include <basic_types.h>
|
|
|
|
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
|
|
typedef struct {
|
|
timestamp_t schedule_start_time;
|
|
uint64_t utilisation;
|
|
uint64_t number_schedules;
|
|
uint64_t kernel_utilisation;
|
|
uint64_t number_kernel_entries;
|
|
|
|
} benchmark_util_t;
|
|
#endif /* CONFIG_BENCHMARK_TRACK_UTILISATION */
|
|
|