Module cap

Marked aliases of Cap.

Each type $t<C = NoExplicitInvocationContext> in this module is an alias for Cap<$t, C>.

Type Aliases

AsidControl

AsidPool

CNode

Endpoint

Granule

HugePage

IOPortControl

IrqControl

IrqHandler

LargePage

Notification

Null

PDPT

PML4

PageDirectory

PageTable

Tcb

Unspecified

UnspecifiedIntermediateTranslationTable

UnspecifiedPage

Untyped

VSpace

_4k