Searched refs:benchmark_tracepoint_log_entry_t (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_tracepoints_types.h17 } benchmark_tracepoint_log_entry_t; typedef in typeref:struct:benchmark_tracepoint_log_entry
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark.h28 static inline void seL4_BenchmarkTraceDumpFullLog(benchmark_tracepoint_log_entry_t *logBuffer, size_t logSize)
33 while ((index * sizeof(benchmark_tracepoint_log_entry_t)) < logSize) {
/seL4-camkes-master/kernel/include/benchmark/
H A Dbenchmark.h20 #define MAX_LOG_SIZE (seL4_LogBufferSize / sizeof(benchmark_tracepoint_log_entry_t))
37 benchmark_tracepoint_log_entry_t *ksLog = (benchmark_tracepoint_log_entry_t *) KS_LOG_PPTR;
44 ksLog[ksLogIndex] = (benchmark_tracepoint_log_entry_t) {
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h24 #define KERNEL_MAX_NUM_LOG_ENTRIES (BIT(seL4_LargePageBits) / sizeof(benchmark_tracepoint_log_entry_t))
25 typedef benchmark_tracepoint_log_entry_t kernel_log_entry_t;

Completed in 40 milliseconds