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
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
Domain
SetSet
IRQAckIRQ
IRQClearIRQ
Handler
IRQIssueIRQ
Handler
IRQSetIRQ
Handler
Invalid
Invocation
Sched
Context
Bind
Sched
Context
Consumed
Sched
Context
Unbind
Sched
Context
Unbind
Object
Sched
Context
Yield
To
Sched
Control
Configure
Flags
TCBBind
Notification
TCBConfigure
TCBCopy
Registers
TCBRead
Registers
TCBResume
TCBSetIPC
Buffer
TCBSetMC
Priority
TCBSet
Priority
TCBSet
Sched
Params
TCBSet
Space
TCBSetTLS
Base
TCBSet
Timeout
Endpoint
TCBSuspend
TCBUnbind
Notification
TCBWrite
Registers
Untyped
Retype