Modules§
- _mode_
object - _object
- api_
object - invocation_
label - priority
Constants - seL4_
Boot InfoID - seL4_
CapFault_ Msg - seL4_
Error - seL4_
Fault_ tag - seL4_
Lookup Failure Type - seL4_
MsgLimits - seL4_
RISCV_ VMAttributes - seL4_
RootC Node CapSlots - seL4_
Unknown Syscall_ Msg - seL4_
User Exception_ Msg - seL4_
VMFault_ Msg - syscall_
id
Structs§
- 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_ Unknown Syscall - seL4_
Fault_ Unknown Syscall_ Unpacked - seL4_
Fault_ User Exception - seL4_
Fault_ User Exception_ Unpacked - seL4_
Fault_ VMFault - seL4_
Fault_ VMFault_ Unpacked - seL4_
IPCBuffer_ - seL4_
Message Info - seL4_
Message Info_ Unpacked - seL4_
RISCV_ Page_ GetAddress_ ret - seL4_
Sched Context_ Consumed - seL4_
Sched Context_ Yield To - seL4_
Slot Region - seL4_
TCB_ Configure Single Stepping - seL4_
TCB_ GetBreakpoint - seL4_
Untyped Desc - seL4_
User Context_ - vm_
attributes - vm_
attributes_ Unpacked
Enums§
Constants§
- SEL4_
MAPPING_ LOOKUP_ LEVEL - SEL4_
MAPPING_ LOOKUP_ NO_ PT - seL4_
ASID Pool Bits - seL4_
ASID Pool Index Bits - seL4_
Badge Bits - seL4_
Boot Info Frame Bits - seL4_
CapRights Bits - seL4_
Endpoint Bits - seL4_
False - seL4_
Guard Bits - seL4_
Guard Size Bits - seL4_
IPCBuffer Size Bits - seL4_
Large Page Bits - seL4_
MaxUntyped Bits - seL4_
MinUntyped Bits - seL4_
NilData - seL4_
Notification Bits - seL4_
NumASID Pools Bits - seL4_
Page Bits - seL4_
Page Table Bits - seL4_
Page Table Entry Bits - seL4_
Page Table Index Bits - seL4_
Slot Bits - seL4_
TCBBits - seL4_
True - seL4_
Untyped Retype MaxObjects - seL4_
User Top - seL4_
VSpace Bits - seL4_
Word 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_
Reply WithM RsWithoutIPC Buffer - seL4_
Send WithM RsWithoutIPC Buffer - seL4_
Yield
Type Aliases§
- Reply
Authority - Wait
Message Info - 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_
RISCV_ ASID Control - seL4_
RISCV_ ASID Pool - seL4_
RISCV_ Page - seL4_
RISCV_ Page Table - 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 - vm_
attributes_ t