Module sel4_sys::seL4_LookupFailureType

Constants

• _enum_pad_seL4_LookupFailureType
• seL4_DepthMismatch
• seL4_GuardMismatch
• seL4_InvalidRoot
• seL4_MissingCapability
• seL4_NoFailure

Type Aliases

• Type