Crate sel4_sys

Modules

• _mode_object
• _object
• api_object
• invocation_label
• priorityConstants
• seL4_ARM_CacheType
• seL4_ARM_VMAttributes
• seL4_BootInfoID
• seL4_CapFault_Msg
• seL4_Error
• seL4_Fault_tag
• seL4_LookupFailureType
• seL4_MsgLimits
• seL4_RootCNodeCapSlots
• seL4_SchedContextFlag
• seL4_TimeoutReply_Msg
• seL4_Timeout_Msg
• seL4_UnknownSyscall_Msg
• seL4_UserException_Msg
• seL4_VCPUFault_Msg
• seL4_VCPUReg
• seL4_VGICMaintenance_Msg
• seL4_VMFault_Msg
• seL4_VPPIEvent_Msg
• syscall_id

Structs

• seL4_ARM_CB_CBGetFault
• seL4_ARM_Page_GetAddress_ret
• seL4_ARM_SIDControl_GetFault
• seL4_ARM_SMCContext_
• seL4_ARM_VCPU_ReadRegs_ret
• seL4_BootInfo
• seL4_BootInfoHeader
• seL4_CNode_CapData
• seL4_CNode_CapData_Unpacked
• seL4_CapRights
• seL4_CapRights_Unpacked
• seL4_Fault
• seL4_Fault_CapFault
• seL4_Fault_CapFault_Unpacked
• seL4_Fault_NullFault
• seL4_Fault_NullFault_Unpacked
• seL4_Fault_Timeout
• seL4_Fault_Timeout_Unpacked
• seL4_Fault_UnknownSyscall
• seL4_Fault_UnknownSyscall_Unpacked
• seL4_Fault_UserException
• seL4_Fault_UserException_Unpacked
• seL4_Fault_VCPUFault
• seL4_Fault_VCPUFault_Unpacked
• seL4_Fault_VGICMaintenance
• seL4_Fault_VGICMaintenance_Unpacked
• seL4_Fault_VMFault
• seL4_Fault_VMFault_Unpacked
• seL4_Fault_VPPIEvent
• seL4_Fault_VPPIEvent_Unpacked
• seL4_IPCBuffer_
• seL4_MessageInfo
• seL4_MessageInfo_Unpacked
• seL4_SchedContext_Consumed_ret
• seL4_SchedContext_YieldTo_ret
• seL4_SlotRegion
• seL4_TCB_ConfigureSingleStepping
• seL4_TCB_GetBreakpoint
• seL4_UntypedDesc
• seL4_UserContext_

Enums

• seL4_Fault_Splayed

Constants

• SEL4_MAPPING_LOOKUP_LEVEL
• SEL4_MAPPING_LOOKUP_NO_PD
• SEL4_MAPPING_LOOKUP_NO_PT
• SEL4_MAPPING_LOOKUP_NO_PUD
• seL4_ARM_IOPageTableObject
• seL4_ARM_VCPUBits
• seL4_ASIDPoolBits
• seL4_ASIDPoolIndexBits
• seL4_BadgeBits
• seL4_BootInfoFrameBits
• seL4_CapRightsBits
• seL4_DataFault
• seL4_EndpointBits
• seL4_False
• seL4_FastMessageRegisters
• seL4_GuardBits
• seL4_GuardSizeBits
• seL4_HugePageBits
• seL4_IOPageTableBits
• seL4_IPCBufferSizeBits
• seL4_InstructionFault
• seL4_LargePageBits
• seL4_MaxUntypedBits
• seL4_MinSchedContextBits
• seL4_MinUntypedBits
• seL4_NilData
• seL4_NotificationBits
• seL4_NumASIDPoolsBits
• seL4_NumExclusiveBreakpoints
• seL4_NumExclusiveWatchpoints
• seL4_NumHWBreakpoints
• seL4_PGDBits
• seL4_PGDEntryBits
• seL4_PGDIndexBits
• seL4_PUDBits
• seL4_PUDEntryBits
• seL4_PUDIndexBits
• seL4_PageBits
• seL4_PageDirBits
• seL4_PageDirEntryBits
• seL4_PageDirIndexBits
• seL4_PageTableBits
• seL4_PageTableEntryBits
• seL4_PageTableIndexBits
• seL4_RefillSizeBytes
• seL4_ReplyBits
• seL4_SlotBits
• seL4_TCBBits
• seL4_True
• seL4_UntypedRetypeMaxObjects
• seL4_UserTop
• seL4_VCPUBits
• seL4_VSpaceBits
• seL4_VSpaceEntryBits
• seL4_VSpaceIndexBits
• seL4_WordSizeBits

Functions

• seL4_CallWithMRsWithoutIPCBuffer
• seL4_DebugCapIdentify
• seL4_DebugHalt
• seL4_DebugNameThread
• seL4_DebugPutChar
• seL4_DebugSnapshot
• seL4_NBSendWithMRsWithoutIPCBuffer
• seL4_RecvWithMRsWithoutIPCBuffer
• seL4_SendWithMRsWithoutIPCBuffer
• seL4_WaitWithMRsWithoutIPCBuffer
• seL4_Yield

Type Aliases

• ReplyAuthority
• WaitMessageInfo
• seL4_ARM_ASIDControl
• seL4_ARM_ASIDPool
• seL4_ARM_CB
• seL4_ARM_CBControl
• seL4_ARM_IOPageTable
• seL4_ARM_IOSpace
• seL4_ARM_Page
• seL4_ARM_PageDirectory
• seL4_ARM_PageGlobalDirectory
• seL4_ARM_PageTable
• seL4_ARM_PageUpperDirectory
• seL4_ARM_SID
• seL4_ARM_SIDControl
• seL4_ARM_SMC
• seL4_ARM_SMCContext
• seL4_ARM_VCPU
• seL4_ARM_VSpace
• seL4_ArchObjectType
• seL4_Bool
• seL4_CNode
• seL4_CNode_CapData_t
• seL4_CPtr
• seL4_CapRights_t
• seL4_Domain
• seL4_DomainSet
• seL4_IPCBuffer
• seL4_IRQControl
• seL4_IRQHandler
• seL4_Int8
• seL4_Int16
• seL4_Int32
• seL4_Int64
• seL4_MessageInfo_t
• seL4_ModeObjectType
• seL4_NodeId
• seL4_ObjectType
• seL4_PAddr
• seL4_SchedContext
• seL4_SchedControl
• seL4_SlotPos
• seL4_TCB
• seL4_Time
• seL4_Uint8
• seL4_Uint16
• seL4_Uint32
• seL4_Uint64
• seL4_Untyped
• seL4_UserContext
• seL4_Word