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

/seL4-camkes-master/kernel/src/benchmark/
H A Dbenchmark_track.c21 benchmark_track_kernel_entry_t *ksLog = (benchmark_track_kernel_entry_t *) KS_LOG_PPTR;
/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)
35 while (logBuffer[index].start_time != 0 && (index * sizeof(benchmark_track_kernel_entry_t)) < logSize) {
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) {
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) {
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h65 } benchmark_track_kernel_entry_t; typedef in typeref:struct:benchmark_syscall_log_entry
/seL4-camkes-master/kernel/include/benchmark/
H A Dbenchmark_track.h28 sizeof(benchmark_track_kernel_entry_t))

Completed in 82 milliseconds