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

/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark_utilisation.h18 void benchmark_track_utilisation_dump(void);
/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_utilisation.c14 void benchmark_track_utilisation_dump(void) function
/seL4-l4v-master/seL4/src/api/
H A Dsyscall.c254 benchmark_track_utilisation_dump();

Completed in 38 milliseconds