sel4_
sys
0.1.0
Module invocation_
label
Module Items
Constants
In crate sel4_
sys
sel4_sys
Module
invocation_label
Copy item path
Source
Constants
ยง
CNode
Cancel
Badged
Sends
CNode
Copy
CNode
Delete
CNode
Mint
CNode
Move
CNode
Mutate
CNode
Revoke
CNode
Rotate
CNode
Save
Caller
Domain
SetSet
IRQAckIRQ
IRQClearIRQ
Handler
IRQIssueIRQ
Handler
IRQSetIRQ
Handler
Invalid
Invocation
TCBBind
Notification
TCBConfigure
TCBCopy
Registers
TCBRead
Registers
TCBResume
TCBSetIPC
Buffer
TCBSetMC
Priority
TCBSet
Priority
TCBSet
Sched
Params
TCBSet
Space
TCBSetTLS
Base
TCBSuspend
TCBUnbind
Notification
TCBWrite
Registers
Untyped
Retype
X86ASID
Control
Make
Pool
X86ASID
Pool
Assign
X86IO
Port
Control
Issue
X86IO
Port
In8
X86IO
Port
In16
X86IO
Port
In32
X86IO
Port
Out8
X86IO
Port
Out16
X86IO
Port
Out32
X86IRQ
IssueIRQ
HandlerIOAPIC
X86IRQ
IssueIRQ
HandlerMSI
X86PDPT
Map
X86PDPT
Unmap
X86Page
Directory
Map
X86Page
Directory
Unmap
X86Page
GetAddress
X86Page
Map
X86Page
Table
Map
X86Page
Table
Unmap
X86Page
Unmap