Searched defs:FaultStatusRegister (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Ddeprecated.h67 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isWriteFault(seL4_Word FaultStatusRegister) argument
72 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isReadFault(seL4_Word FaultStatusRegister) argument
77 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isProtectionFault(seL4_Word FaultStatusRegister) argument
82 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isNonPresentFault(seL4_Word FaultStatusRegister) argument

Completed in 24 milliseconds