Home
last modified time | relevance | path

Searched refs:syscall_no (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/api/
A Ddebug.h42 …"Syscall, number: %ld, %s\n", (long) ksKernelEntry.syscall_no, syscall_names[ksKernelEntry.syscall… in debug_printKernelEntryReason()
43 if (ksKernelEntry.syscall_no == -SysSend || in debug_printKernelEntryReason()
44 ksKernelEntry.syscall_no == -SysNBSend || in debug_printKernelEntryReason()
45 ksKernelEntry.syscall_no == -SysCall) { in debug_printKernelEntryReason()
/seL4-master/libsel4/include/sel4/
A Dbenchmark_track_types.h46 seL4_Word syscall_no: 4; member
/seL4-master/include/benchmark/
A Dbenchmark_track.h55 ksKernelEntry.syscall_no = -syscall; in benchmark_debug_syscall_start()

Completed in 3 milliseconds