Searched defs:seL4_isUnknownSyscall_tag (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/libsel4/include/sel4/ | ||
H A D | faults.h | 49 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) function |
Completed in 24 milliseconds