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
ยง
ARMASID
Control
Make
Pool
ARMASID
Pool
Assign
ARMIRQ
IssueIRQ
Handler
Trigger
ARMIRQ
IssueIRQ
Handler
Trigger
Core
ARMPD
Clean
Invalidate_
Data
ARMPD
Clean_
Data
ARMPD
Invalidate_
Data
ARMPD
Unify_
Instruction
ARMPage
Clean
Invalidate_
Data
ARMPage
Clean_
Data
ARMPage
GetAddress
ARMPage
Invalidate_
Data
ARMPage
Map
ARMPage
Table
Map
ARMPage
Table
Unmap
ARMPage
Unify_
Instruction
ARMPage
Unmap
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
TCBSet
Affinity
TCBSetIPC
Buffer
TCBSetMC
Priority
TCBSet
Priority
TCBSet
Sched
Params
TCBSet
Space
TCBSetTLS
Base
TCBSuspend
TCBUnbind
Notification
TCBWrite
Registers
Untyped
Retype