Function sel4_cspace::interface::cte_insert

source · 
pub fn cte_insert(new_cap: &cap_t, src_slot: &mut cte_t, dest_slot: &mut cte_t)
Expand description

将一个cap插入slot中并维护能力派生树

将一个new_cap插入到dest slot中并作为src slot的派生子节点插入派生树中