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