Searched refs:benchmark_debug_syscall_start (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 133 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
149 benchmark_debug_syscall_start(cptr, msgInfo, SysCall); in ALIGN()
168 benchmark_debug_syscall_start(cptr, msgInfo, SysReplyRecv); in ALIGN()
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 180 benchmark_debug_syscall_start(cptr, msgInfo, SysReplyRecv); in ALIGN()
198 benchmark_debug_syscall_start(cptr, msgInfo, SysCall); in ALIGN()
214 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
|
| /seL4-master/include/benchmark/ |
| A D | benchmark_track.h | 50 static inline void benchmark_debug_syscall_start(word_t cptr, word_t msgInfo, word_t syscall) in benchmark_debug_syscall_start() function
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 161 benchmark_debug_syscall_start(cptr, msgInfo, syscall); in c_handle_syscall()
|
Completed in 5 milliseconds