Constantsยง
- CNode
Cancel Badged Sends - CNode
Copy - CNode
Delete - CNode
Mint - CNode
Move - CNode
Mutate - CNode
Revoke - CNode
Rotate - CNode
Save Caller - Domain
Schedule Configure - Domain
Schedule SetStart - Domain
SetSet - IRQAckIRQ
- IRQClearIRQ
Handler - IRQIssueIRQ
Handler - IRQSetIRQ
Handler - Invalid
Invocation - RISCVASID
Control Make Pool - RISCVASID
Pool Assign - RISCVIRQ
IssueIRQ Handler Trigger - RISCV
Page GetAddress - RISCV
Page Map - RISCV
Page Table Map - RISCV
Page Table Unmap - RISCV
Page Unmap - TCBBind
Notification - TCBConfigure
- TCBCopy
Registers - TCBRead
Registers - TCBResume
- TCBSet
Affinity - TCBSet
Flags - TCBSetIPC
Buffer - TCBSetMC
Priority - TCBSet
Priority - TCBSet
Sched Params - TCBSet
Space - TCBSetTLS
Base - TCBSuspend
- TCBUnbind
Notification - TCBWrite
Registers - Untyped
Retype