Lines Matching defs:logBuffer
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);