List of all items

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

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
• _mode_object::Type
• _object::Type
• api_object::Type
• priorityConstants::Type
• seL4_ARM_ASIDControl
• seL4_ARM_ASIDPool
• seL4_ARM_CB
• seL4_ARM_CBControl
• seL4_ARM_CacheType::Type
• 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_VMAttributes::Type
• seL4_ARM_VSpace
• seL4_ArchObjectType
• seL4_Bool
• seL4_BootInfoID::Type
• seL4_CNode
• seL4_CNode_CapData_t
• seL4_CPtr
• seL4_CapFault_Msg::Type
• seL4_CapRights_t
• seL4_Domain
• seL4_DomainSet
• seL4_Error::Type
• seL4_IPCBuffer
• seL4_IRQControl
• seL4_IRQHandler
• seL4_Int16
• seL4_Int32
• seL4_Int64
• seL4_Int8
• seL4_LookupFailureType::Type
• seL4_MessageInfo_t
• seL4_ModeObjectType
• seL4_MsgLimits::Type
• seL4_NodeId
• seL4_ObjectType
• seL4_PAddr
• seL4_RootCNodeCapSlots::Type
• seL4_SchedContext
• seL4_SchedContextFlag::Type
• seL4_SchedControl
• seL4_SlotPos
• seL4_TCB
• seL4_Time
• seL4_TimeoutReply_Msg::Type
• seL4_Timeout_Msg::Type
• seL4_Uint16
• seL4_Uint32
• seL4_Uint64
• seL4_Uint8
• seL4_UnknownSyscall_Msg::Type
• seL4_Untyped
• seL4_UserContext
• seL4_UserException_Msg::Type
• seL4_VCPUFault_Msg::Type
• seL4_VCPUReg::Type
• seL4_VGICMaintenance_Msg::Type
• seL4_VMFault_Msg::Type
• seL4_VPPIEvent_Msg::Type
• seL4_Word

Constants

• SEL4_MAPPING_LOOKUP_LEVEL
• SEL4_MAPPING_LOOKUP_NO_PD
• SEL4_MAPPING_LOOKUP_NO_PT
• SEL4_MAPPING_LOOKUP_NO_PUD
• _mode_object::seL4_ARM_HugePageObject
• _mode_object::seL4_ARM_VSpaceObject
• _mode_object::seL4_ModeObjectTypeCount
• _object::seL4_ARM_LargePageObject
• _object::seL4_ARM_PageTableObject
• _object::seL4_ARM_SmallPageObject
• _object::seL4_ARM_VCPUObject
• _object::seL4_ObjectTypeCount
• api_object::seL4_CapTableObject
• api_object::seL4_EndpointObject
• api_object::seL4_NonArchObjectTypeCount
• api_object::seL4_NotificationObject
• api_object::seL4_ReplyObject
• api_object::seL4_SchedContextObject
• api_object::seL4_TCBObject
• api_object::seL4_UntypedObject
• invocation_label::ARMASIDControlMakePool
• invocation_label::ARMASIDPoolAssign
• invocation_label::ARMIRQIssueIRQHandlerTrigger
• invocation_label::ARMPageCleanInvalidate_Data
• invocation_label::ARMPageClean_Data
• invocation_label::ARMPageGetAddress
• invocation_label::ARMPageInvalidate_Data
• invocation_label::ARMPageMap
• invocation_label::ARMPageTableMap
• invocation_label::ARMPageTableUnmap
• invocation_label::ARMPageUnify_Instruction
• invocation_label::ARMPageUnmap
• invocation_label::ARMSMCCall
• invocation_label::ARMVCPUAckVPPI
• invocation_label::ARMVCPUInjectIRQ
• invocation_label::ARMVCPUReadReg
• invocation_label::ARMVCPUSetTCB
• invocation_label::ARMVCPUWriteReg
• invocation_label::ARMVSpaceCleanInvalidate_Data
• invocation_label::ARMVSpaceClean_Data
• invocation_label::ARMVSpaceInvalidate_Data
• invocation_label::ARMVSpaceUnify_Instruction
• invocation_label::CNodeCancelBadgedSends
• invocation_label::CNodeCopy
• invocation_label::CNodeDelete
• invocation_label::CNodeMint
• invocation_label::CNodeMove
• invocation_label::CNodeMutate
• invocation_label::CNodeRevoke
• invocation_label::CNodeRotate
• invocation_label::DomainSetSet
• invocation_label::IRQAckIRQ
• invocation_label::IRQClearIRQHandler
• invocation_label::IRQIssueIRQHandler
• invocation_label::IRQSetIRQHandler
• invocation_label::InvalidInvocation
• invocation_label::SchedContextBind
• invocation_label::SchedContextConsumed
• invocation_label::SchedContextUnbind
• invocation_label::SchedContextUnbindObject
• invocation_label::SchedContextYieldTo
• invocation_label::SchedControlConfigureFlags
• invocation_label::TCBBindNotification
• invocation_label::TCBConfigure
• invocation_label::TCBCopyRegisters
• invocation_label::TCBReadRegisters
• invocation_label::TCBResume
• invocation_label::TCBSetIPCBuffer
• invocation_label::TCBSetMCPriority
• invocation_label::TCBSetPriority
• invocation_label::TCBSetSchedParams
• invocation_label::TCBSetSpace
• invocation_label::TCBSetTLSBase
• invocation_label::TCBSetTimeoutEndpoint
• invocation_label::TCBSuspend
• invocation_label::TCBUnbindNotification
• invocation_label::TCBWriteRegisters
• invocation_label::UntypedRetype
• priorityConstants::seL4_InvalidPrio
• priorityConstants::seL4_MaxPrio
• priorityConstants::seL4_MinPrio
• seL4_ARM_CacheType::_enum_pad_seL4_ARM_CacheType
• seL4_ARM_CacheType::seL4_ARM_CacheD
• seL4_ARM_CacheType::seL4_ARM_CacheI
• seL4_ARM_CacheType::seL4_ARM_CacheID
• seL4_ARM_IOPageTableObject
• seL4_ARM_VCPUBits
• seL4_ARM_VMAttributes::_enum_pad_seL4_ARM_VMAttributes
• seL4_ARM_VMAttributes::seL4_ARM_Default_VMAttributes
• seL4_ARM_VMAttributes::seL4_ARM_ExecuteNever
• seL4_ARM_VMAttributes::seL4_ARM_PageCacheable
• seL4_ARM_VMAttributes::seL4_ARM_ParityEnabled
• seL4_ASIDPoolBits
• seL4_ASIDPoolIndexBits
• seL4_BadgeBits
• seL4_BootInfoFrameBits
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_FDT
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_NUM
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_PADDING
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_MBMMAP
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_TSC_FREQ
• seL4_BootInfoID::SEL4_BOOTINFO_HEADER_X86_VBE
• seL4_BootInfoID::_enum_pad_seL4_BootInfoID
• seL4_CapFault_Msg::_enum_pad_seL4_CapFault_Msg
• seL4_CapFault_Msg::seL4_CapFault_Addr
• seL4_CapFault_Msg::seL4_CapFault_BitsLeft
• seL4_CapFault_Msg::seL4_CapFault_DepthMismatch_BitsFound
• seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_BitsFound
• seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_GuardFound
• seL4_CapFault_Msg::seL4_CapFault_IP
• seL4_CapFault_Msg::seL4_CapFault_InRecvPhase
• seL4_CapFault_Msg::seL4_CapFault_LookupFailureType
• seL4_CapRightsBits
• seL4_DataFault
• seL4_EndpointBits
• seL4_Error::seL4_AlignmentError
• seL4_Error::seL4_DeleteFirst
• seL4_Error::seL4_FailedLookup
• seL4_Error::seL4_IllegalOperation
• seL4_Error::seL4_InvalidArgument
• seL4_Error::seL4_InvalidCapability
• seL4_Error::seL4_NoError
• seL4_Error::seL4_NotEnoughMemory
• seL4_Error::seL4_NumErrors
• seL4_Error::seL4_RangeError
• seL4_Error::seL4_RevokeFirst
• seL4_Error::seL4_TruncatedMessage
• seL4_False
• seL4_FastMessageRegisters
• seL4_Fault_tag::seL4_Fault_CapFault
• seL4_Fault_tag::seL4_Fault_NullFault
• seL4_Fault_tag::seL4_Fault_Timeout
• seL4_Fault_tag::seL4_Fault_UnknownSyscall
• seL4_Fault_tag::seL4_Fault_UserException
• seL4_Fault_tag::seL4_Fault_VCPUFault
• seL4_Fault_tag::seL4_Fault_VGICMaintenance
• seL4_Fault_tag::seL4_Fault_VMFault
• seL4_Fault_tag::seL4_Fault_VPPIEvent
• seL4_GuardBits
• seL4_GuardSizeBits
• seL4_HugePageBits
• seL4_IOPageTableBits
• seL4_IPCBufferSizeBits
• seL4_InstructionFault
• seL4_LargePageBits
• seL4_LookupFailureType::_enum_pad_seL4_LookupFailureType
• seL4_LookupFailureType::seL4_DepthMismatch
• seL4_LookupFailureType::seL4_GuardMismatch
• seL4_LookupFailureType::seL4_InvalidRoot
• seL4_LookupFailureType::seL4_MissingCapability
• seL4_LookupFailureType::seL4_NoFailure
• seL4_MaxUntypedBits
• seL4_MinSchedContextBits
• seL4_MinUntypedBits
• seL4_MsgLimits::seL4_MsgExtraCapBits
• seL4_MsgLimits::seL4_MsgLengthBits
• seL4_MsgLimits::seL4_MsgMaxLength
• 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_RootCNodeCapSlots::seL4_CapASIDControl
• seL4_RootCNodeCapSlots::seL4_CapBootInfoFrame
• seL4_RootCNodeCapSlots::seL4_CapDomain
• seL4_RootCNodeCapSlots::seL4_CapIOPortControl
• seL4_RootCNodeCapSlots::seL4_CapIOSpace
• seL4_RootCNodeCapSlots::seL4_CapIRQControl
• seL4_RootCNodeCapSlots::seL4_CapInitThreadASIDPool
• seL4_RootCNodeCapSlots::seL4_CapInitThreadCNode
• seL4_RootCNodeCapSlots::seL4_CapInitThreadIPCBuffer
• seL4_RootCNodeCapSlots::seL4_CapInitThreadSC
• seL4_RootCNodeCapSlots::seL4_CapInitThreadTCB
• seL4_RootCNodeCapSlots::seL4_CapInitThreadVSpace
• seL4_RootCNodeCapSlots::seL4_CapNull
• seL4_RootCNodeCapSlots::seL4_CapSMC
• seL4_RootCNodeCapSlots::seL4_CapSMMUCBControl
• seL4_RootCNodeCapSlots::seL4_CapSMMUSIDControl
• seL4_RootCNodeCapSlots::seL4_NumInitialCaps
• seL4_SchedContextFlag::_enum_pad_seL4_SchedContextFlag
• seL4_SchedContextFlag::seL4_SchedContext_NoFlag
• seL4_SchedContextFlag::seL4_SchedContext_Sporadic
• seL4_SlotBits
• seL4_TCBBits
• seL4_TimeoutReply_Msg::_enum_pad_seL4_TimeoutReply_Msg
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_FaultIP
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_Length
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_SP
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_SPSR_EL1
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X0
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X1
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X10
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X11
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X12
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X13
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X14
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X15
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X16
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X17
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X18
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X19
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X2
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X20
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X21
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X22
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X23
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X24
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X25
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X26
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X27
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X28
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X29
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X3
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X30
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X4
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X5
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X6
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X7
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X8
• seL4_TimeoutReply_Msg::seL4_TimeoutReply_X9
• seL4_Timeout_Msg::_enum_pad_seL4_Timeout_Msg
• seL4_Timeout_Msg::seL4_Timeout_Consumed
• seL4_Timeout_Msg::seL4_Timeout_Data
• seL4_Timeout_Msg::seL4_Timeout_Length
• seL4_True
• seL4_UnknownSyscall_Msg::_enum_pad_seL4_UnknownSyscall_Msg
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_FaultIP
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_LR
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_Length
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_SP
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_SPSR
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_Syscall
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X0
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X1
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X2
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X3
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X4
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X5
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X6
• seL4_UnknownSyscall_Msg::seL4_UnknownSyscall_X7
• seL4_UntypedRetypeMaxObjects
• seL4_UserException_Msg::_enum_pad_seL4_UserException_Msg
• seL4_UserException_Msg::seL4_UserException_Code
• seL4_UserException_Msg::seL4_UserException_FaultIP
• seL4_UserException_Msg::seL4_UserException_Length
• seL4_UserException_Msg::seL4_UserException_Number
• seL4_UserException_Msg::seL4_UserException_SP
• seL4_UserException_Msg::seL4_UserException_SPSR
• seL4_UserTop
• seL4_VCPUBits
• seL4_VCPUFault_Msg::_enum_pad_seL4_VCPUFault_Msg
• seL4_VCPUFault_Msg::seL4_VCPUFault_HSR
• seL4_VCPUFault_Msg::seL4_VCPUFault_Length
• seL4_VCPUReg::_enum_pad_seL4_VCPUReg
• seL4_VCPUReg::seL4_VCPUReg_ACTLR
• seL4_VCPUReg::seL4_VCPUReg_AFSR0
• seL4_VCPUReg::seL4_VCPUReg_AFSR1
• seL4_VCPUReg::seL4_VCPUReg_AMAIR
• seL4_VCPUReg::seL4_VCPUReg_CIDR
• seL4_VCPUReg::seL4_VCPUReg_CNTKCTL_EL1
• seL4_VCPUReg::seL4_VCPUReg_CNTVOFF
• seL4_VCPUReg::seL4_VCPUReg_CNTV_CTL
• seL4_VCPUReg::seL4_VCPUReg_CNTV_CVAL
• seL4_VCPUReg::seL4_VCPUReg_CPACR
• seL4_VCPUReg::seL4_VCPUReg_ELR_EL1
• seL4_VCPUReg::seL4_VCPUReg_ESR
• seL4_VCPUReg::seL4_VCPUReg_FAR
• seL4_VCPUReg::seL4_VCPUReg_ISR
• seL4_VCPUReg::seL4_VCPUReg_MAIR
• seL4_VCPUReg::seL4_VCPUReg_Num
• seL4_VCPUReg::seL4_VCPUReg_SCTLR
• seL4_VCPUReg::seL4_VCPUReg_SPSR_EL1
• seL4_VCPUReg::seL4_VCPUReg_SP_EL1
• seL4_VCPUReg::seL4_VCPUReg_TCR
• seL4_VCPUReg::seL4_VCPUReg_TPIDR_EL1
• seL4_VCPUReg::seL4_VCPUReg_TTBR0
• seL4_VCPUReg::seL4_VCPUReg_TTBR1
• seL4_VCPUReg::seL4_VCPUReg_VBAR
• seL4_VCPUReg::seL4_VCPUReg_VMPIDR_EL2
• seL4_VGICMaintenance_Msg::_enum_pad_seL4_VGICMaintenance_Msg
• seL4_VGICMaintenance_Msg::seL4_VGICMaintenance_IDX
• seL4_VGICMaintenance_Msg::seL4_VGICMaintenance_Length
• seL4_VMFault_Msg::_enum_pad_seL4_VMFault_Msg
• seL4_VMFault_Msg::seL4_VMFault_Addr
• seL4_VMFault_Msg::seL4_VMFault_FSR
• seL4_VMFault_Msg::seL4_VMFault_IP
• seL4_VMFault_Msg::seL4_VMFault_Length
• seL4_VMFault_Msg::seL4_VMFault_PrefetchFault
• seL4_VPPIEvent_Msg::_enum_pad_seL4_VPPIEvent_Msg
• seL4_VPPIEvent_Msg::seL4_VPPIEvent_IRQ
• seL4_VPPIEvent_Msg::seL4_VPPIEvent_Length
• seL4_VSpaceBits
• seL4_VSpaceEntryBits
• seL4_VSpaceIndexBits
• seL4_WordSizeBits
• syscall_id::Call
• syscall_id::DebugCapIdentify
• syscall_id::DebugDumpScheduler
• syscall_id::DebugHalt
• syscall_id::DebugNameThread
• syscall_id::DebugPutChar
• syscall_id::DebugSnapshot
• syscall_id::NBRecv
• syscall_id::NBSend
• syscall_id::NBSendRecv
• syscall_id::NBSendWait
• syscall_id::NBWait
• syscall_id::Recv
• syscall_id::ReplyRecv
• syscall_id::Send
• syscall_id::Wait
• syscall_id::Yield