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