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