Searched defs:BENCHMARK_IDLE_NUMBER_KERNEL_ENTRIES (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/seL4/libsel4/include/sel4/ | ||
H A D | benchmark_utilisation_types.h | 34 BENCHMARK_IDLE_NUMBER_KERNEL_ENTRIES, enumerator in enum:benchmark_track_util_ipc_index |
Completed in 29 milliseconds