seL4/include/benchmark
Anna Lyons 3017f9b72a Move timestamp_t definition to types.h
it was causing circular references in files where it is defined and
hardware macros are also used.
2017-11-28 10:13:49 +11:00
..
benchmark.h Fix type error in benchmark.h 2017-02-27 09:31:11 +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 s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10: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_.h Move timestamp_t definition to types.h 2017-11-28 10:13:49 +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 Fix licenses (the rest) 2017-06-22 15:29:12 +10:00