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

/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dsimple_types.h23 typedef seL4_Int8 seL4_Bool; typedef
H A Dfaults.h44 LIBSEL4_INLINE_FUNC seL4_Bool
51 LIBSEL4_INLINE_FUNC seL4_Bool
57 LIBSEL4_INLINE_FUNC seL4_Bool
63 LIBSEL4_INLINE_FUNC seL4_Bool
69 LIBSEL4_INLINE_FUNC seL4_Bool
75 LIBSEL4_INLINE_FUNC seL4_Bool
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Ddeprecated.h74 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isWriteFault(seL4_Word FaultStatusRegister)
79 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isReadFault(seL4_Word FaultStatusRegister)
84 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isProtectionFault(seL4_Word FaultStatusRegister)
89 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isNonPresentFault(seL4_Word FaultStatusRegister)
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h60 LIBSEL4_INLINE_FUNC seL4_Bool
66 LIBSEL4_INLINE_FUNC seL4_Bool
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h60 LIBSEL4_INLINE_FUNC seL4_Bool
66 LIBSEL4_INLINE_FUNC seL4_Bool

Completed in 37 milliseconds