Module sel4_sys::seL4_CapFault_Msg

Constants

• _enum_pad_seL4_CapFault_Msg
• 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

Type Aliases

• Type