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
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
ARMSMC
Call
ARMVCPU
AckVPPI
ARMVCPU
InjectIRQ
ARMVCPU
Read
Reg
ARMVCPU
SetTCB
ARMVCPU
Write
Reg
ARMV
Space
Clean
Invalidate_
Data
ARMV
Space
Clean_
Data
ARMV
Space
Invalidate_
Data
ARMV
Space
Unify_
Instruction
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