Module sel4_cspace::interface
source · Expand description
暴露给外部的接口
Structs
- 由cap_t和 mdb_node 组成,是CSpace的基本组成单元
Enums
- Cap 在内核态中的种类枚举
Functions
- 将一个cap插入slot中并维护能力派生树
- 将一个cap插入slot中并删除原节点
- 交换两个slot,并将新的cap数据填入
- 从cspace寻址特定的slot
- 判断两个cap指向的内核对象是否是同一个内存区域