seL4/include/benchmark
Anna Lyons 49f26d5c84 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.
2016-10-20 15:07:49 +11:00
..
benchmark.h Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00
benchmark_tracepoints_types.h Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00
benchmark_track.h Fix benchmark_debug_syscall_start 2016-10-20 15:07:49 +11:00
benchmark_track_types.h Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00
benchmark_utilisation.h Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00
benchmark_utilisation_types.h Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00
Makefile Benchmark: Pack arch-independent benchmark-related files into separate directories 2016-10-20 11:42:04 +11:00