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

Move timestamp_t definition to types.h

Browse source 
it was causing circular references in files where it is defined and
hardware macros are also used.
This commit is contained in:
Anna Lyons 2017-11-23 15:41:13 +11:00
parent 3d2ae69f9c
commit 3017f9b72a
6 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/arch/arm/arch/32/mode/types.h
View file

@ -16,4 +16,6 @@
#define wordRadix 5
#define wordBits (1 << wordRadix)
typedef uint32_t timestamp_t;
#endif /* __ARCH_MODE_TYPES_H_ */

2
include/arch/arm/arch/benchmark.h
View file

@ -16,8 +16,6 @@
#include <armv/benchmark.h>
typedef uint32_t timestamp_t;
void armv_init_ccnt(void);
#endif /* CONFIG_ENABLE_BENCHMARKS */

1
include/arch/arm/arch/benchmark_overflowHandler.h
View file

@ -17,6 +17,7 @@
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
#include <model/statedata.h>
#include <armv/benchmark.h>
#include <armv/benchmark_irqHandler.h>
extern bool_t benchmark_log_utilisation_enabled;

2
include/arch/x86/arch/benchmark.h
View file

@ -14,8 +14,6 @@
#include <config.h>
#ifdef CONFIG_ENABLE_BENCHMARKS
typedef uint64_t timestamp_t;
static inline uint64_t
timestamp(void)
{

2
include/arch/x86/arch/types.h
View file

@ -42,4 +42,6 @@ typedef uint8_t seL4_Uint8;
typedef node_id_t seL4_NodeId;
typedef paddr_t seL4_PAddr;
typedef dom_t seL4_Domain;
typedef uint64_t timestamp_t;
#endif

2
include/benchmark/benchmark_utilisation_.h
View file

@ -14,7 +14,7 @@
#define _BENCHMARK_UTILISATION_H
#include <config.h>
#include <arch/benchmark.h>
#include <basic_types.h>
#ifdef CONFIG_BENCHMARK_TRACK_UTILISATION
typedef struct {