History log of /seL4-l4v-10.1.1/seL4/include/benchmark/benchmark_track.h
Revision Date Author Comments
# 0abc7202 04-Apr-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/DEBUG/CONFIG_DEBUG_BUILD/

DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD,
which can be toggled separately to user notion of DEBUG


# 325db51c 26-Feb-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Fix type error in benchmark.h


# 325643ac 19-Oct-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

Remove circular include between debug and benchmark_track

benchmark_track.h does not depend upon anything in debug.h and
so it does not need to include it. Once this include is removed
debug.h can pull its definition of ksKernelEntry from benchmark_track.h


# 49f26d5c 19-Oct-2016 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix benchmark_debug_syscall_start

The lowest syscall number is -8, which doesnt' fit in 3 bits -> change
to 4.
Also, we were storing the -ve number, which also doesn't fit into 3
bits -> invert it when we store it.


# 5f7fa2fc 19-Oct-2016 Hesham Almatary <hesham.almatary@data61.csiro.au>

Benchmark: Pack arch-independent benchmark-related files into separate directories