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

/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h22 static inline void seL4_BenchmarkTrackDumpSummary(benchmark_track_kernel_entry_t *logBuffer, size_t logSize) argument
35 while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
36 if (logBuffer[index].entry.path == Entry_Syscall) {
38 } else if (logBuffer[index].entry.path == Entry_Interrupt) {
40 } else if (logBuffer[index].entry.path == Entry_UserLevelFault) {
42 } else if (logBuffer[index].entry.path == Entry_VMFault) {
55 static inline void seL4_BenchmarkTrackDumpFullSyscallLog(benchmark_track_kernel_entry_t *logBuffer, size_t logSize) argument
69 while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
70 if (logBuffer[index].entry.path == Entry_Syscall) {
73 logBuffer[inde
85 seL4_BenchmarkTrackDumpFullInterruptLog(benchmark_track_kernel_entry_t *logBuffer, size_t logSize) argument
[all...]
H A Dbenchmark.h28 static inline void seL4_BenchmarkTraceDumpFullLog(benchmark_tracepoint_log_entry_t *logBuffer, size_t logSize) argument
34 if (logBuffer[index].duration != 0) {
35 fprintf(fd, "tracepoint id = %u \tduration = %u\n", logBuffer[index].id, logBuffer[index].duration);

Completed in 85 milliseconds