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

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Dbenchmark_utilisation_types.h23 BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES, enumerator in enum:benchmark_track_util_ipc_index
/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_utilisation.c36 buffer[BENCHMARK_TCB_NUMBER_KERNEL_ENTRIES] = tcb->benchmark.number_kernel_entries; /* Number of kernel entries */

Completed in 31 milliseconds