Searched refs:seL4_Fault_isNonPresentFault (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Ddeprecated.h82 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isNonPresentFault(seL4_Word FaultStatusRegister) function

Completed in 27 milliseconds