portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Benchmark: Define benchmark_util_t in a separate file to avoid circular dependency

Browse source
This commit is contained in:
Hesham Almatary 2017-01-11 13:03:20 +11:00
parent 2c00cdd7fd
commit 2f866d91b3
3 changed files with 27 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
include/benchmark/benchmark.h
View file

@ -18,13 +18,6 @@
#include <benchmark/benchmark_tracepoints_types.h>
#include <mode/hardware.h>
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
typedef struct {
timestamp_t schedule_start_time;
uint64_t utilisation;
} benchmark_util_t;
#endif /* CONFIG_BENCHMARK_TRACK_UTILISATION */
#if CONFIG_MAX_NUM_TRACE_POINTS > 0
#define TRACE_POINT_START(x) trace_point_start(x)
#define TRACE_POINT_STOP(x) trace_point_stop(x)

26
include/benchmark/benchmark_utilisation_.h Normal file
View file

@ -0,0 +1,26 @@
/*
* Copyright 2016, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(D61_GPL)
*/
#ifndef _BENCHMARK_UTILISATION_H
#define _BENCHMARK_UTILISATION_H
#include <config.h>
#include <arch/benchmark.h>
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
typedef struct {
timestamp_t schedule_start_time;
uint64_t utilisation;
} benchmark_util_t;
#endif /* CONFIG_BENCHMARK_TRACK_UTILISATION */
#endif /* _BENCHMARK_UTILISATION_H */

1
include/object/structures.h
View file

@ -16,6 +16,7 @@
#include <stdint.h>
#include <arch/object/structures_gen.h>
#include <arch/api/constants.h>
#include <benchmark/benchmark_utilisation_.h>
enum irq_state {
IRQInactive = 0,