Function sel4_cspace::interface::cte_swap

source · 
pub fn cte_swap(
    cap1: &cap_t,
    slot1: &mut cte_t,
    cap2: &cap_t,
    slot2: &mut cte_t
)
Expand description

交换两个slot，并将新的cap数据填入