Modules§
- _mode_
object - _object
- api_
object - invocation_
label - priority
Constants - seL4_
ARM_ Cache Type - seL4_
ARM_ VMAttributes - seL4_
Boot InfoID - seL4_
CapFault_ Msg - seL4_
Error - seL4_
Fault_ tag - seL4_
Lookup Failure Type - seL4_
MsgLimits - seL4_
RootC Node CapSlots - seL4_
Sched Context Flag - seL4_
Timeout Reply_ Msg - seL4_
Timeout_ Msg - seL4_
Unknown Syscall_ Msg - seL4_
User Exception_ Msg - seL4_
VCPU Fault_ Msg - seL4_
VCPU Reg - seL4_
VGIC Maintenance_ Msg - seL4_
VMFault_ Msg - seL4_
VPPI Event_ Msg - syscall_
id
Structs§
- seL4_
ARM_ CB_ CBGet Fault - seL4_
ARM_ Page_ GetAddress_ ret - seL4_
ARM_ SIDControl_ GetFault - seL4_
ARM_ SMCContext_ - seL4_
ARM_ VCPU_ Read Regs_ ret - seL4_
Boot Info - seL4_
Boot Info Header - seL4_
CNode_ CapData - seL4_
CNode_ CapData_ Unpacked - seL4_
CapRights - seL4_
CapRights_ Unpacked - seL4_
Fault - seL4_
Fault_ CapFault - seL4_
Fault_ CapFault_ Unpacked - seL4_
Fault_ Null Fault - seL4_
Fault_ Null Fault_ Unpacked - seL4_
Fault_ Timeout - seL4_
Fault_ Timeout_ Unpacked - seL4_
Fault_ Unknown Syscall - seL4_
Fault_ Unknown Syscall_ Unpacked - seL4_
Fault_ User Exception - seL4_
Fault_ User Exception_ Unpacked - seL4_
Fault_ VCPU Fault - seL4_
Fault_ VCPU Fault_ Unpacked - seL4_
Fault_ VGIC Maintenance - seL4_
Fault_ VGIC Maintenance_ Unpacked - seL4_
Fault_ VMFault - seL4_
Fault_ VMFault_ Unpacked - seL4_
Fault_ VPPI Event - seL4_
Fault_ VPPI Event_ Unpacked - seL4_
IPCBuffer_ - seL4_
Message Info - seL4_
Message Info_ Unpacked - seL4_
Sched Context_ Consumed_ ret - seL4_
Sched Context_ Yield To_ ret - seL4_
Slot Region - seL4_
TCB_ Configure Single Stepping - seL4_
TCB_ GetBreakpoint - seL4_
Untyped Desc - seL4_
User Context_
Enums§
Constants§
- SEL4_
MAPPING_ LOOKUP_ LEVEL - SEL4_
MAPPING_ LOOKUP_ NO_ PD - SEL4_
MAPPING_ LOOKUP_ NO_ PT - SEL4_
MAPPING_ LOOKUP_ NO_ PUD - seL4_
ARM_ IOPage Table Object - seL4_
ARM_ VCPU Bits - seL4_
ASID Pool Bits - seL4_
ASID Pool Index Bits - seL4_
Badge Bits - seL4_
Boot Info Frame Bits - seL4_
CapRights Bits - seL4_
Data Fault - seL4_
Endpoint Bits - seL4_
False - seL4_
Fast Message Registers - seL4_
Guard Bits - seL4_
Guard Size Bits - seL4_
Huge Page Bits - seL4_
IOPage Table Bits - seL4_
IPCBuffer Size Bits - seL4_
Instruction Fault - seL4_
Large Page Bits - seL4_
MaxUntyped Bits - seL4_
MinSched Context Bits - seL4_
MinUntyped Bits - seL4_
NilData - seL4_
Notification Bits - seL4_
NumASID Pools Bits - seL4_
NumExclusive Breakpoints - seL4_
NumExclusive Watchpoints - seL4_
NumHW Breakpoints - seL4_
PGDBits - seL4_
PGDEntry Bits - seL4_
PGDIndex Bits - seL4_
PUDBits - seL4_
PUDEntry Bits - seL4_
PUDIndex Bits - seL4_
Page Bits - seL4_
Page DirBits - seL4_
Page DirEntry Bits - seL4_
Page DirIndex Bits - seL4_
Page Table Bits - seL4_
Page Table Entry Bits - seL4_
Page Table Index Bits - seL4_
Refill Size Bytes - seL4_
Reply Bits - seL4_
Slot Bits - seL4_
TCBBits - seL4_
True - seL4_
Untyped Retype MaxObjects - seL4_
User Top - seL4_
VCPU Bits - seL4_
VSpace Bits - seL4_
VSpace Entry Bits - seL4_
VSpace Index Bits - seL4_
Word Size Bits
Functions§
- seL4_
Call WithM RsWithoutIPC Buffer - seL4_
Debug CapIdentify - seL4_
Debug Halt - seL4_
Debug Name Thread - seL4_
Debug PutChar - seL4_
Debug Snapshot - seL4_
NBSend WithM RsWithoutIPC Buffer - seL4_
Recv WithM RsWithoutIPC Buffer - seL4_
Send WithM RsWithoutIPC Buffer - seL4_
Wait WithM RsWithoutIPC Buffer - seL4_
Yield
Type Aliases§
- Reply
Authority - Wait
Message Info - seL4_
ARM_ ASID Control - seL4_
ARM_ ASID Pool - seL4_
ARM_ CB - seL4_
ARM_ CBControl - seL4_
ARM_ IOPage Table - seL4_
ARM_ IOSpace - seL4_
ARM_ Page - seL4_
ARM_ Page Directory - seL4_
ARM_ Page Global Directory - seL4_
ARM_ Page Table - seL4_
ARM_ Page Upper Directory - seL4_
ARM_ SID - seL4_
ARM_ SIDControl - seL4_
ARM_ SMC - seL4_
ARM_ SMCContext - seL4_
ARM_ VCPU - seL4_
ARM_ VSpace - seL4_
Arch Object Type - seL4_
Bool - seL4_
CNode - seL4_
CNode_ CapData_ t - seL4_
CPtr - seL4_
CapRights_ t - seL4_
Domain - seL4_
Domain Set - seL4_
IPCBuffer - seL4_
IRQControl - seL4_
IRQHandler - seL4_
Int8 - seL4_
Int16 - seL4_
Int32 - seL4_
Int64 - seL4_
Message Info_ t - seL4_
Mode Object Type - seL4_
Node Id - seL4_
Object Type - seL4_
PAddr - seL4_
Sched Context - seL4_
Sched Control - seL4_
Slot Pos - seL4_
TCB - seL4_
Time - seL4_
Uint8 - seL4_
Uint16 - seL4_
Uint32 - seL4_
Uint64 - seL4_
Untyped - seL4_
User Context - seL4_
Word