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