seL4/include/benchmark
Anna Lyons a7728128cd arm: move handleOverflowIRQ to benchmark.h
Consolidate to reduce include complexity and make benchmarking features
easier to find/comprehend.
2019-06-14 12:12:15 +10:00
..
benchmark.h Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
benchmark_track.h Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
benchmark_utilisation.h arm: move handleOverflowIRQ to benchmark.h 2019-06-14 12:12:15 +10:00
benchmark_utilisation_.h Move timestamp_t definition to types.h 2017-11-28 10:13:49 +11:00