Searched defs:syscall_no (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/libsel4/include/sel4/ | ||
H A D | benchmark_track_types.h | 49 seL4_Word syscall_no: 4; member in struct:kernel_entry::__anon27::__anon29 |
Completed in 26 milliseconds