Module sel4_common::fault

Structs

• lookup_fault_t
• seL4_Fault_t

Enums

• FaultType
• LookupFaultType

Constants

• lookup_fault_depth_mismatch
• lookup_fault_guard_mismatch
• lookup_fault_invalid_root
• lookup_fault_missing_capability
• seL4_CapFault_Addr
• seL4_CapFault_BitsLeft
• seL4_CapFault_DepthMismatch_BitsFound
• seL4_CapFault_GuardMismatch_BitsFound
• seL4_CapFault_GuardMismatch_GuardFound
• seL4_CapFault_IP
• seL4_CapFault_InRecvPhase
• seL4_CapFault_LookupFailureType
• seL4_Fault_CapFault
• seL4_Fault_NullFault
• seL4_Fault_UnknownSyscall
• seL4_Fault_UserException
• seL4_Fault_VMFault
• seL4_VMFault_Addr
• seL4_VMFault_FSR
• seL4_VMFault_IP
• seL4_VMFault_Length
• seL4_VMFault_PrefetchFault