Searched refs:MAX_LOG_SIZE (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/benchmark/
H A Dbenchmark_track.c29 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
/seL4-l4v-10.1.1/seL4/include/benchmark/
H A Dbenchmark.h25 #define MAX_LOG_SIZE (seL4_LogBufferSize / sizeof(benchmark_tracepoint_log_entry_t)) macro
50 if (likely(ksLogIndex < MAX_LOG_SIZE)) {
H A Dbenchmark_track.h32 #define MAX_LOG_SIZE (seL4_LogBufferSize / \ macro

Completed in 34 milliseconds