include/sel4utils/benchmark_track.h

22 static inline void seL4_BenchmarkTrackDumpSummary(benchmark_track_kernel_entry_t *logBuffer, size_t logSize)
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)
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[index].entry.syscall_no,
74                     (uint64_t) logBuffer[index].start_time,
75                     logBuffer[index].duration,
76                     logBuffer[index].entry.cap_type,
77                     logBuffer[index].entry.invocation_tag,
78                     logBuffer[index].entry.is_fastpath);
85 static inline void seL4_BenchmarkTrackDumpFullInterruptLog(benchmark_track_kernel_entry_t *logBuffer, size_t logSize)
98     while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
99         if (logBuffer[index].entry.path == Entry_Interrupt) {
102                     logBuffer[index].entry.word,
103                     logBuffer[index].start_time,
104                     logBuffer[index].duration);