Expand description
Markers corresponding to capability types and classes of capability types.
These types are used for marking Cap.
Structs§
- Asid
Control - Corresponds to
seL4_ASIDControl. - Asid
Pool - Corresponds to
seL4_ASIDPool. - CNode
- Corresponds to
seL4_CNode. - Endpoint
- Corresponds to the endpoint capability type.
- Huge
Page - Corresponds to
seL4_ARM_Pagewithsize_bits = 30. - IrqControl
- Corresponds to
seL4_IRQControl. - IrqHandler
- Corresponds to
seL4_IRQHandler. - Large
Page - Corresponds to
seL4_ARM_Pagewithsize_bits = 21. - Notification
- Corresponds to the notification capability type.
- Null
- Corresponds to the null capability.
- PT
- Corresponds to
seL4_ARM_PageTable. - Small
Page - Corresponds to
seL4_ARM_Pagewithsize_bits = 12. - Smc
- Corresponds to
sel4_ARM_SMC - Tcb
- Corresponds to
seL4_TCB. - Unspecified
- Any capability.
- Unspecified
Intermediate Translation Table - Any intermediate translation table capability.
- Unspecified
Page - Any page 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.