Constantsยง
- ARMASID
Control Make Pool - ARMASID
Pool Assign - ARMIRQ
IssueIRQ Handler Trigger - ARMIRQ
IssueSGI Signal - 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
Schedule Configure - Domain
Schedule SetStart - 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
- TCBConfigure
Single Stepping - TCBCopy
Registers - TCBGet
Breakpoint - TCBRead
Registers - TCBResume
- TCBSet
Breakpoint - TCBSet
Flags - TCBSetIPC
Buffer - TCBSetMC
Priority - TCBSet
Priority - TCBSet
Sched Params - TCBSet
Space - TCBSetTLS
Base - TCBSet
Timeout Endpoint - TCBSuspend
- TCBUnbind
Notification - TCBUnset
Breakpoint - TCBWrite
Registers - Untyped
Retype