Constants§
- 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
- TCBSetIPC
Buffer - TCBSetMC
Priority - TCBSet
Priority - TCBSet
Sched Params - TCBSet
Space - TCBSetTLS
Base - TCBSuspend
- TCBUnbind
Notification - TCBWrite
Registers - Untyped
Retype - X86ASID
Control Make Pool - X86ASID
Pool Assign - X86IO
Port Control Issue - X86IO
Port In8 - X86IO
Port In16 - X86IO
Port In32 - X86IO
Port Out8 - X86IO
Port Out16 - X86IO
Port Out32 - X86IRQ
IssueIRQ HandlerIOAPIC - X86IRQ
IssueIRQ HandlerMSI - X86PDPT
Map - X86PDPT
Unmap - X86Page
Directory Map - X86Page
Directory Unmap - X86Page
GetAddress - X86Page
Map - X86Page
Table Map - X86Page
Table Unmap - X86Page
Unmap