Struct sel4_cspace::interface::cte_t

#[repr(C)]
pub struct cte_t {
    pub cap: cap_t,
    pub cteMDBNode: mdb_node_t,
}

由cap_t和 mdb_node 组成，是CSpace的基本组成单元

Fields

cap: cap_t

cteMDBNode: mdb_node_t

Implementations

impl cte_t

pub fn get_ptr(&self) -> usize

pub fn get_offset_slot(&mut self, index: usize) -> &'static mut Self

pub fn derive_cap(&mut self, cap: &cap_t) -> deriveCap_ret

pub fn ensure_no_children(&self) -> exception_t

pub fn is_final_cap(&self) -> bool

pub fn is_long_running_delete(&self) -> bool

pub fn delete_all(&mut self, exposed: bool) -> exception_t

pub fn delete_one(&mut self)

pub fn revoke(&mut self) -> exception_t

Trait Implementations

impl Clone for cte_t

fn clone(&self) -> cte_t

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for cte_t

fn default() -> cte_t

Returns the “default value” for a type.

impl Copy for cte_t