Module sel4::cap_type

Markers corresponding to capability types and classes of capability types.

These types are used for marking Cap.

Structs

• AsidControl
  Corresponds to seL4_ASIDControl.
• AsidPool
  Corresponds to seL4_ASIDPool.
• CNode
  Corresponds to seL4_CNode.
• Endpoint
  Corresponds to the endpoint capability type.
• HugePage
  Corresponds to seL4_ARM_Page with size_bits = 30.
• IrqControl
  Corresponds to seL4_IRQControl.
• IrqHandler
  Corresponds to seL4_IRQHandler.
• LargePage
  Corresponds to seL4_ARM_Page with size_bits = 21.
• Notification
  Corresponds to the notification capability type.
• Null
  Corresponds to the null capability.
• PT
  Corresponds to seL4_ARM_PageTable.
• Reply
  Corresponds to the reply capability type (MCS only).
• SchedContext
  Corresponds to the scheduling context capability type (MCS only).
• SchedControl
  Corresponds to seL4_SchedControl.
• SmallPage
  Corresponds to seL4_ARM_Page with size_bits = 12.
• Tcb
  Corresponds to seL4_TCB.
• Unspecified
  Any capability.
• UnspecifiedFrame
  Any frame capability.
• UnspecifiedIntermediateTranslationTable
  Any intermediate translation structure capability.
• Untyped
  Corresponds to seL4_Untyped.
• VCpu
  Corresponds to seL4_ARM_VCPU.
• VSpace
  Corresponds to seL4_ARM_VSpace.

Type Aliases

• Granule
  Alias for cap_type::SmallPage.