Struct CapabilityTable 

pub struct CapabilityTable<const N: usize = DEFAULT_CAP_TABLE_CAPACITY> { /* private fields */ }

Fixed-size capability table for a partition.

Uses const generic N for the maximum number of capability slots. No heap allocation: backed by a [CapSlot; N] array.

Implementations

impl<const N: usize> CapabilityTable<N>

pub const fn new() -> Self

Creates a new empty capability table.

pub const fn capacity(&self) -> usize

Returns the table capacity.

pub const fn len(&self) -> usize

Returns the number of valid entries.

pub const fn is_empty(&self) -> bool

Returns true if the table has no valid entries.

pub const fn is_full(&self) -> bool

Returns true if the table is full.

pub fn insert_root( &mut self, token: CapToken, owner: PartitionId, badge: u64, ) -> CapResult<(u32, u32)>

Inserts a root capability. Returns (index, generation).

Errors

Returns CapError::TableFull if no free slot is available.

pub fn insert_derived( &mut self, token: CapToken, owner: PartitionId, depth: u8, parent_index: u32, badge: u64, ) -> CapResult<(u32, u32)>

Inserts a derived capability. Returns (index, generation).

Errors

Returns CapError::TableFull if no free slot is available.

pub fn lookup(&self, index: u32, generation: u32) -> CapResult<&CapSlot>

Looks up a slot by index and generation.

Errors

Returns CapError::InvalidHandle if the index is out of bounds or the slot is empty. Returns CapError::StaleHandle if the generation does not match.

pub fn lookup_mut( &mut self, index: u32, generation: u32, ) -> CapResult<&mut CapSlot>

Looks up a slot mutably by index and generation.

Errors

Returns CapError::InvalidHandle if the index is out of bounds or the slot is empty. Returns CapError::StaleHandle if the generation does not match.

pub fn remove(&mut self, index: u32, generation: u32) -> CapResult<()>

Removes a capability by index and generation.

Errors

Returns CapError::InvalidHandle if the index is out of bounds or the slot is empty. Returns CapError::StaleHandle if the generation does not match.

pub fn iter(&self) -> impl Iterator<Item = (u32, &CapSlot)>

Returns an iterator over all valid entries as (index, &CapSlot).

Trait Implementations

impl<const N: usize> Debug for CapabilityTable<N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const N: usize> Default for CapabilityTable<N>

fn default() -> Self

Returns the “default value” for a type.