Module sel4_sys::seL4_Error

Constants

• seL4_AlignmentError
• seL4_DeleteFirst
• seL4_FailedLookup
• seL4_IllegalOperation
• seL4_InvalidArgument
• seL4_InvalidCapability
• seL4_NoError
• seL4_NotEnoughMemory
• seL4_NumErrors
• seL4_RangeError
• seL4_RevokeFirst
• seL4_TruncatedMessage

Type Aliases

• Type