Struct OwnershipTable 

pub struct OwnershipTable { /* private fields */ }

Source of truth for block ownership.

Implementations

impl OwnershipTable

pub fn new() -> Self

Creates an empty ownership table.

pub fn claim( &self, block: PhysBlock<BuddyReserved>, cap_id: CapId, ) -> Result<PhysBlock<Exclusive>, OwnerError>

Claims a reserved block for the provided capability.

pub fn ensure_ref( &self, handle: BlockHandle, cap_id: CapId, ) -> Result<BlockState, OwnerError>

Ensures cap_id is recorded as a live reference on handle.

pub fn add_ref( &self, handle: BlockHandle, cap_id: CapId, ) -> Result<BlockState, OwnerError>

Adds a capability reference to an existing owned block.

pub fn pin(&self, handle: BlockHandle) -> Result<u32, OwnerError>

Adds a temporary pin to keep the block alive while publishing a mapping.

pub fn remove_ref( &self, handle: BlockHandle, cap_id: CapId, ) -> Result<RemoveRefResult, OwnerError>

Removes a capability reference from a block.

pub fn unpin(&self, handle: BlockHandle) -> Result<RemoveRefResult, OwnerError>

Removes one temporary pin and releases the block if this was the last live reference.

pub fn release( &self, block: PhysBlock<Exclusive>, cap_id: CapId, ) -> Result<PhysBlock<Released>, OwnerError>

Releases an exclusive block and returns a buddy-facing handle if it becomes free.

pub fn get(&self, handle: BlockHandle) -> Option<OwnerEntry>

Returns a snapshot of the ownership entry for the given block.

pub fn handle_for_base(&self, base: PhysAddr) -> Option<BlockHandle>

Returns the live handle whose base physical address matches base, if any.

pub fn handle_containing(&self, phys: PhysAddr) -> Option<BlockHandle>

Returns the live handle whose block currently contains phys, if any.

pub fn refcount(&self, handle: BlockHandle) -> Option<u32>

Returns the current reference count for the given block.

Trait Implementations

impl Default for OwnershipTable

fn default() -> Self

Creates an empty ownership table.