Struct CapMemSet

pub struct CapMemSet { /* private fields */ }

Implementations

impl CapMemSet

pub fn new(alloc_func: Option<fn() -> (Untyped, usize)>) -> Self

pub fn check_available(&mut self, size: usize)

pub fn untyped_list(&self) -> &[(Untyped, usize)]

pub fn add(&mut self, untyped: Untyped, size: usize)

pub fn alloc_fixed<T: CapTypeForObjectOfFixedSize>(&mut self) -> LeafSlot

pub fn alloc_variable<T: CapTypeForObjectOfVariableSize>( &mut self, size_bits: usize, ) -> LeafSlot

pub fn alloc_page(&mut self) -> Cap<Granule>

pub fn recycle_page(&mut self, frame_cap: Cap<Granule>)

pub fn alloc_pt(&mut self) -> Cap<PT>

pub fn alloc_vspace(&mut self) -> Cap<VSpace>

pub fn alloc_tcb(&mut self) -> Cap<Tcb>

pub fn alloc_cnode(&mut self, size_bits: usize) -> Cap<CNode>

申请一个 sel4::cap::CNode

pub fn release(&mut self)