Searched refs:BENCHMARK_IDLE_NUMBER_SCHEDULES (Results 1 – 2 of 2) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	benchmark_utilisation_types.h	28 BENCHMARK_IDLE_NUMBER_SCHEDULES, enumerator
/seL4-master/src/benchmark/
A D	benchmark_utilisation.c	48 buffer[BENCHMARK_IDLE_NUMBER_SCHEDULES] = NODE_STATE( in benchmark_track_utilisation_dump()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023