A CTE (Capability Table Entry). More...
Collaboration diagram for cte:
Data Fields | |
| struct capability | cap |
| The capability. | |
| struct mdbnode | mdbnode |
| MDB "root" node for the cap. | |
| struct delete_list | delete_node |
| State for in-progress delete cascades. | |
| char | padding [(1UL<< OBJBITS_CTE)-sizeof(struct delete_list)-ROUND_UP(sizeof(struct capability), 8)-ROUND_UP(sizeof(struct mdbnode), 8)] |
| Padding to fill the struct out to the size required by OBJBITS_CTE. | |
Detailed Description
A CTE (Capability Table Entry).
A CTE is an entry in a CNode, which in turn is an entry in CSpace, the capability space. CSpace is a guarded tree structure. Refer to the seL4 reference manual for further information about how CSpace is implemented.
The documentation for this struct was generated from the following files:
- kernel/include/capabilities.h
- include/mdb/types.h
