sel4_sys

Module seL4_LookupFailureType

Source

Constants§

_enum_pad_seL4_LookupFailureType
seL4_DepthMismatch
seL4_GuardMismatch
seL4_InvalidRoot
seL4_MissingCapability
seL4_NoFailure

Type Aliases§

Type