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_
RootC Node CapSlots - seL4_
Unknown Syscall_ Msg - seL4_
User Exception_ Msg - seL4_
VMFault_ Msg - seL4_
X86_ EPT_ VMAttributes - seL4_
X86_ VMAttributes - 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_
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_ - seL4_
VCPU Context_ - seL4_
X86_ IOPort_ In8_ ret - seL4_
X86_ IOPort_ In16_ ret - seL4_
X86_ IOPort_ In32_ ret - seL4_
X86_ Page Directory_ GetStatus Bits - seL4_
X86_ Page_ GetAddress_ ret - seL4_
X86_ VCPU_ ReadMSR - seL4_
X86_ VCPU_ ReadVMCS - seL4_
X86_ VCPU_ WriteMSR - seL4_
X86_ VCPU_ WriteVMCS
Enums§
Constants§
- IPCBUF_
GDT_ ENTRY - IPCBUF_
GDT_ SELECTOR - IRQ_
OFFSET - MSI_MAX
- MSI_MIN
- SEL4_
MAPPING_ LOOKUP_ LEVEL - SEL4_
MAPPING_ LOOKUP_ NO_ EPTPD - SEL4_
MAPPING_ LOOKUP_ NO_ EPTPDPT - SEL4_
MAPPING_ LOOKUP_ NO_ EPTPT - SEL4_
MAPPING_ LOOKUP_ NO_ PD - SEL4_
MAPPING_ LOOKUP_ NO_ PDPT - SEL4_
MAPPING_ LOOKUP_ NO_ PT - TLS_
GDT_ ENTRY - TLS_
GDT_ SELECTOR - VECTOR_
MAX - VECTOR_
MIN - 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_
MinUntyped Bits - seL4_
NilData - seL4_
Notification Bits - seL4_
NumASID Pools Bits - seL4_
PDPT Bits - seL4_
PDPT Entry Bits - seL4_
PDPT Index Bits - seL4_
PML4 Bits - seL4_
PML4 Entry Bits - seL4_
PML4 Index 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_
Slot Bits - seL4_
TCBBits - seL4_
True - seL4_
Untyped Retype MaxObjects - seL4_
User Top - seL4_
VCPU Bits - seL4_
VSpace Bits - seL4_
Word Bits - seL4_
Word Size Bits - seL4_
X86_ EPTPD Bits - seL4_
X86_ EPTPD Entry Bits - seL4_
X86_ EPTPD Index Bits - seL4_
X86_ EPTPD Object - seL4_
X86_ EPTPDPT Bits - seL4_
X86_ EPTPDPT Entry Bits - seL4_
X86_ EPTPDPT Index Bits - seL4_
X86_ EPTPDPT Object - seL4_
X86_ EPTPM L4Bits - seL4_
X86_ EPTPM L4Entry Bits - seL4_
X86_ EPTPM L4Index Bits - seL4_
X86_ EPTPM L4Object - seL4_
X86_ EPTPT Bits - seL4_
X86_ EPTPT Entry Bits - seL4_
X86_ EPTPT Index Bits - seL4_
X86_ EPTPT Object - seL4_
X86_ IOPage Table Object - seL4_
X86_ VCPU Bits - seL4_
X86_ VCPU Object
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_
SetTLS Base - 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_
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_
VCPU Context - seL4_
Word - seL4_
X64_ PML4 - seL4_
X86_ ASID Control - seL4_
X86_ ASID Pool - seL4_
X86_ EPTPD - seL4_
X86_ EPTPDPT - seL4_
X86_ EPTPM L4 - seL4_
X86_ EPTPT - seL4_
X86_ IOPage Table - seL4_
X86_ IOPort - seL4_
X86_ IOPort Control - seL4_
X86_ IOSpace - seL4_
X86_ PDPT - seL4_
X86_ Page - seL4_
X86_ Page Directory - seL4_
X86_ Page Table - seL4_
X86_ VCPU - seL4_
seL4 Arch Object Type