Searched defs:number_schedules (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark_utilisation_.h16 uint64_t number_schedules; member in struct:__anon1

Completed in 27 milliseconds