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

IrqControl

IrqHandler

LargePage

Notification

Null

PT

Reply

SchedContext

SchedControl

SmallPage

Tcb

Unspecified

UnspecifiedIntermediateTranslationTable

UnspecifiedPage

Untyped

VCpu

VSpace