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 - IOPort
Control - IrqControl
- Corresponds to
seL4_IRQControl. - IrqHandler
- Corresponds to
seL4_IRQHandler. - Large
Page - Notification
- Corresponds to the notification capability type.
- Null
- Corresponds to the null capability.
- PDPT
- PML4
- Page
Directory - Page
Table - 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. - _4k