Searched refs:benchmark_utilisation_finalise (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark_utilisation.h67 static inline void benchmark_utilisation_finalise(void) function
/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c191 benchmark_utilisation_finalise();

Completed in 88 milliseconds