Struct FrameLease 

pub struct FrameLease { /* private fields */ }

A bounded capability for a physical frame range owned by a PageObject. Allocation/deallocation policy remains in the architecture allocator; the MM layer never treats a bare PhysAddr as ownership.

Implementations

impl FrameLease

pub fn new(paddr: PhysAddr) -> Self

pub fn borrowed( paddr: PhysAddr, bytes: usize, anchor: Option<Arc<dyn Any + Send + Sync>>, ) -> Option<Self>

Creates a non-releasing lease whose provider remains alive for as long as any PageObject or sublease can name this physical range.

pub unsafe fn owned(paddr: PhysAddr, align: usize) -> Self

Creates an owning lease for a frame allocated by the Starry MM backend. The alignment is the same order/size passed to alloc_frame.

Ownership cannot be fabricated from an arbitrary physical address:

fn fabricate_owner() -> starry_kernel::FrameLease {
    starry_kernel::FrameLease::owned(ax_memory_addr::PhysAddr::from(0x1000usize), 4096)
}

Safety

paddr must be the unique, still-owned result of the Starry MM frame allocator for exactly align bytes/alignment. The caller transfers that ownership and must neither free it nor construct another owner.

pub fn owned_with_releaser( paddr: PhysAddr, align: usize, release: fn(PhysAddr, usize), ) -> Self

Creates an owning lease whose release function belongs to another allocator domain (for example page-table frames). The function is a static capability, not a closure, so dropping a lease remains IRQ-safe and cannot allocate.

pub const fn paddr(&self) -> PhysAddr

pub const fn size(&self) -> usize

pub fn sublease(&self, offset: usize, bytes: usize) -> Option<Self>

Derives a bounded lease for a subrange of this allocation. The returned lease shares only the final-release owner; its physical identity and bounds are independent and can back a separate PageObject/rmap set.

Trait Implementations

impl Clone for FrameLease

fn clone(&self) -> FrameLease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FrameLease

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

Formats the value using the given formatter.