Struct MappingIndex 

pub struct MappingIndex { /* private fields */ }

Reverse index from capability ID to live mappings.

The inline capacity of 4 covers the common case (a memory region mapped in the kernel + up to 3 user address spaces) without heap allocation. If a capability ever acquires more than 4 mappings, SmallVec spills to the heap while the SpinLock is held. This is not an IRQ path and the heap lock order (mapping_index → heap) does not conflict with any other known lock order, so the spill is not a correctness issue : only a minor latency concern noted in ticket #49.

Implementations

impl MappingIndex

pub fn new() -> Self

Creates an empty reverse mapping index.

pub fn register(&self, cap_id: CapId, mapping: MappingRef)

Registers a mapping for the given capability.

pub fn unregister(&self, cap_id: CapId, pid: Pid, vaddr: VirtAddr)

Removes a single mapping for the given capability.

pub fn lookup(&self, cap_id: CapId) -> SmallVec<[MappingRef; 4]>

Returns a snapshot of the mappings for the given capability.

pub fn remove_all(&self, cap_id: CapId) -> SmallVec<[MappingRef; 4]>

Removes and returns every mapping associated with the given capability.

Trait Implementations

impl Default for MappingIndex

fn default() -> Self

Creates an empty reverse mapping index.