Searched refs:benchmark_track_exit (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_track.c17 void benchmark_track_exit(void) function
/seL4-l4v-master/seL4/include/kernel/
H A Dtraps.h32 benchmark_track_exit();
/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark_track.h38 void benchmark_track_exit(void);

Completed in 34 milliseconds