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

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dbenchmark_utilisation_types.h38 BENCHMARK_TOTAL_UTILISATION, enumerator in enum:benchmark_track_util_ipc_index
/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_utilisation.c58 buffer[BENCHMARK_TOTAL_UTILISATION] =
61 buffer[BENCHMARK_TOTAL_UTILISATION] = NODE_STATE(benchmark_end_time) - NODE_STATE(

Completed in 32 milliseconds