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

GigaPage

Granule

IrqControl

IrqHandler

MegaPage

Notification

Null

PageTable

Tcb

Unspecified

UnspecifiedIntermediateTranslationTable

UnspecifiedPage

Untyped

VSpace

_4kPage