Struct LazyMapping 

pub struct LazyMapping {
    pub start_vaddr: usize,
    pub size: usize,
    pub flags: PageFlags,
    pub backing: BackingType,
    /* private fields */
}

A region of virtual address space registered for demand paging.

No physical frames are allocated when a lazy mapping is created. The first access triggers a page fault, which the demand paging manager resolves by allocating a frame and returning it.

Fields

start_vaddr: usize

Start virtual address (page-aligned).

size: usize

Size in bytes (multiple of PAGE_SIZE).

flags: PageFlags

Page flags to apply when the page is finally mapped.

backing: BackingType

Backing type for this mapping.

Implementations

impl LazyMapping

pub fn new( start_vaddr: usize, size: usize, flags: PageFlags, backing: BackingType, ) -> Self

Create a new lazy mapping.

pub fn contains(&self, vaddr: usize) -> bool

Check whether a virtual address falls within this mapping.