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

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dtraps.h37 benchmark_track_exit();
/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_track.c21 void benchmark_track_exit(void) function
/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_track.h43 void benchmark_track_exit(void);

Completed in 32 milliseconds