List of all items
Structs
- AbsoluteCPtr
- BootInfo
- BootInfoExtra
- BootInfoExtraIter
- BootInfoPtr
- CNodeCapData
- CPtr
- CPtrWithDepth
- CallWithMRs
- Cap
- CapFault
- CapRights
- CapRightsBuilder
- DebugWrite
- ImplicitInvocationContext
- IpcBuffer
- MessageInfo
- MessageInfoBuilder
- NoInvocationContext
- NullFault
- RecvWithMRs
- Timeout
- UnknownSyscall
- UntypedDesc
- UserContext
- UserException
- VCpuFault
- VGicMaintenance
- VPpiEvent
- VmAttributes
- VmFault
- cap_type::AsidControl
- cap_type::AsidPool
- cap_type::CNode
- cap_type::Endpoint
- cap_type::HugePage
- cap_type::IrqControl
- cap_type::IrqHandler
- cap_type::LargePage
- cap_type::Notification
- cap_type::Null
- cap_type::PT
- cap_type::Reply
- cap_type::SchedContext
- cap_type::SchedControl
- cap_type::SmallPage
- cap_type::Tcb
- cap_type::Unspecified
- cap_type::UnspecifiedIntermediateTranslationTable
- cap_type::UnspecifiedPage
- cap_type::Untyped
- cap_type::VCpu
- cap_type::VSpace
- init_thread::Slot
- init_thread::SlotRegion
Enums
- BootInfoExtraId
- Error
- Fault
- FrameObjectType
- ObjectBlueprint
- ObjectBlueprintAArch64
- ObjectBlueprintArm
- ObjectType
- ObjectTypeAArch64
- ObjectTypeArm
- TranslationTableObjectType
- VCpuReg
Traits
- CapType
- CapTypeForFrameObject
- CapTypeForFrameObjectOfFixedSize
- CapTypeForObject
- CapTypeForObjectOfFixedSize
- CapTypeForObjectOfVariableSize
- CapTypeForTranslationTableObject
- ConveysReplyAuthority
- FastMessages
- HasCPtrWithDepth
- InvocationContext
- IpcCapType
Macros
- debug_print
- debug_println
- sel4_cfg_bool
- sel4_cfg_if
- sel4_cfg_str
- sel4_cfg_usize
- sel4_cfg_word
- sel4_cfg_wrap_match
Attribute Macros
Functions
- debug_put_char
- debug_snapshot
- init_thread::suspend_self
- ipc_buffer_is_thread_local
- set_ipc_buffer
- try_with_ipc_buffer_slot
- try_with_ipc_buffer_slot_mut
- vspace_levels::span_bits
- vspace_levels::step_bits
- with_ipc_buffer
- with_ipc_buffer_mut
- yield
Type Aliases
- Badge
- CPtrBits
- NoExplicitInvocationContext
- ObjectBlueprintArch
- ObjectBlueprintSeL4Arch
- ObjectTypeArch
- ObjectTypeSeL4Arch
- ReplyAuthority
- Result
- Time
- Word
- cap::AsidControl
- cap::AsidPool
- cap::CNode
- cap::Endpoint
- cap::Granule
- cap::HugePage
- cap::IrqControl
- cap::IrqHandler
- cap::LargePage
- cap::Notification
- cap::Null
- cap::PT
- cap::Reply
- cap::SchedContext
- cap::SchedControl
- cap::SmallPage
- cap::Tcb
- cap::Unspecified
- cap::UnspecifiedIntermediateTranslationTable
- cap::UnspecifiedPage
- cap::Untyped
- cap::VCpu
- cap::VSpace
- cap_type::Granule
Constants
- NUM_FAST_MESSAGE_REGISTERS
- NUM_MESSAGE_REGISTERS
- WORD_SIZE
- init_thread::slot::ASID_CONTROL
- init_thread::slot::ASID_POOL
- init_thread::slot::BOOT_INFO_FRAME
- init_thread::slot::CNODE
- init_thread::slot::IO_PORT_CONTROL
- init_thread::slot::IPC_BUFFER
- init_thread::slot::IRQ_CONTROL
- init_thread::slot::NULL
- init_thread::slot::SC
- init_thread::slot::TCB
- init_thread::slot::VSPACE
- vspace_levels::HIGHEST_LEVEL_WITH_PAGE_ENTRIES
- vspace_levels::NUM_LEVELS