Home
last modified time | relevance | path

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

/seL4-master/include/benchmark/
A Dbenchmark.h20 #define MAX_LOG_SIZE (seL4_LogBufferSize / sizeof(benchmark_tracepoint_log_entry_t)) macro
43 if (likely(ksLogIndex < MAX_LOG_SIZE)) { in trace_point_stop()
A Dbenchmark_track.h27 #define MAX_LOG_SIZE (seL4_LogBufferSize / \ macro
/seL4-master/src/benchmark/
A Dbenchmark_track.c25 if (likely(ksLogIndex < MAX_LOG_SIZE)) { in benchmark_track_exit()

Completed in 3 milliseconds