History log of /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/benchmark_overflowHandler.h
Revision Date Author Comments
# 3017f9b7 22-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Move timestamp_t definition to types.h

it was causing circular references in files where it is defined and
hardware macros are also used.


# 90055957 04-Sep-2017 Alexander Boettcher <alexander.boettcher@genode-labs.com>

arm: define guards for benchmark interface

Fixes #69


# 00bcd5ca 21-Jun-2017 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

[STYLE_FIX]


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# 1d8be141 18-Jan-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

Fix compilation error when benchmark utilisation enabled for KZM/ARMv-6


# 530852bb 10-Jan-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: ARM - extern benchmark_log_utilisation_enabled

Circular dependency prevents extern definition of benchmark_log_utilisation_enabled from
getting included in include/arch/arm/arch/benchmark_overflowHandler.h.
arch-level headers shouldn't depend on arch-independent headers to avoid
such circular dependency issues (in the future).


# 09358f9b 23-Jun-2016 Hesham Almatary <Hesham.Almatary@nicta.com.au>

SELFOUR-448 Benchmark: Track thread's CPU utilisation time