Enum Op 

pub enum Op {
    NewVmSpace,
    DropVmSpace {
        vs: VmSpaceId,
    },
    OpenCursor {
        vs: VmSpaceId,
        va: Range<Vaddr>,
    },
    OpenCursorMut {
        vs: VmSpaceId,
        va: Range<Vaddr>,
    },
    DropCursor {
        c: CursorId,
    },
    Query {
        c: CursorId,
    },
    FindNext {
        c: CursorId,
        len: usize,
    },
    Jump {
        c: CursorId,
        va: Vaddr,
    },
    VirtAddr {
        c: CursorId,
    },
    Map {
        c: CursorId,
        frame: UFrame,
        prop: PageProperty,
    },
    Unmap {
        c: CursorId,
        len: usize,
    },
    ProtectNext {
        c: CursorId,
        len: usize,
    },
    NewReader {
        vs: VmSpaceId,
        vaddr: Vaddr,
        len: usize,
    },
    NewWriter {
        vs: VmSpaceId,
        vaddr: Vaddr,
        len: usize,
    },
    DropReader {
        vio: VmIoId,
    },
    DropWriter {
        vio: VmIoId,
    },
}

Public exec API of ostd::mm::vm_space, lifted to data.

Variants

NewVmSpace

VmSpace::new. Allocates a fresh VmSpaceOwner and registers it under a fresh VmSpaceId.

DropVmSpace

Drop of a VmSpace. Removes the owner at vs (no-op if absent).

Fields

vs: VmSpaceId

OpenCursor

VmSpace::cursor. Opens a read-only cursor on the VmSpace at vs over the virtual range va. May fail (returns Err in exec); on failure the store is unchanged.

Fields

vs: VmSpaceId

va: Range<Vaddr>

OpenCursorMut

VmSpace::cursor_mut. Same as OpenCursor but mutable.

Fields

vs: VmSpaceId

va: Range<Vaddr>

DropCursor

Drop of a Cursor/CursorMut. Removes the cursor entry at c (no-op if absent).

Fields

c: CursorId

Query

Cursor::query / CursorMut::query. Reads the current page state; internally advances the cursor.

Fields

c: CursorId

FindNext

Cursor::find_next / CursorMut::find_next.

Fields

c: CursorId

len: usize

Jump

Cursor::jump / CursorMut::jump.

Fields

c: CursorId

va: Vaddr

VirtAddr

Cursor::virt_addr / CursorMut::virt_addr. Pure read; no state change at the embedding granularity.

Fields

c: CursorId

Map

CursorMut::map. Maps frame with prop at the cursor’s current position. Modifies the cursor owner and may modify MetaRegionOwners.

Fields

c: CursorId

frame: UFrame

prop: PageProperty

Unmap

CursorMut::unmap. Unmaps up to len bytes starting at the cursor’s current position.

Fields

c: CursorId

len: usize

ProtectNext

CursorMut::protect_next. The exec method takes an op: impl FnOnce(PageProperty) -> PageProperty; we model only the length here (the per-page property update is opaque at this stage).

Fields

c: CursorId

len: usize

NewReader

VmSpace::reader. May fail; on failure the store is unchanged.

Fields

vs: VmSpaceId

vaddr: Vaddr

len: usize

NewWriter

VmSpace::writer. May fail; on failure the store is unchanged.

Fields

vs: VmSpaceId

vaddr: Vaddr

len: usize

DropReader

Drop of a VmReader. Removes the corresponding VmIoOwner.

Fields

vio: VmIoId

DropWriter

Drop of a VmWriter. Removes the corresponding VmIoOwner.

Fields

vio: VmIoId

Implementations

impl Op

pub fn arrow_c(self) -> CursorId

pub fn arrow_prop(self) -> PageProperty

pub fn arrow_vaddr(self) -> Vaddr

pub fn arrow_vio(self) -> VmIoId

pub fn arrow_vs(self) -> VmSpaceId

pub fn arrow_len(self) -> usize

pub fn arrow_frame(self) -> UFrame

pub fn arrow_DropVmSpace_vs(self) -> VmSpaceId

pub fn arrow_OpenCursor_vs(self) -> VmSpaceId

pub fn arrow_OpenCursor_va(self) -> Range<Vaddr>

pub fn arrow_OpenCursorMut_vs(self) -> VmSpaceId

pub fn arrow_OpenCursorMut_va(self) -> Range<Vaddr>

pub fn arrow_DropCursor_c(self) -> CursorId

pub fn arrow_Query_c(self) -> CursorId

pub fn arrow_FindNext_c(self) -> CursorId

pub fn arrow_FindNext_len(self) -> usize

pub fn arrow_Jump_c(self) -> CursorId

pub fn arrow_Jump_va(self) -> Vaddr

pub fn arrow_VirtAddr_c(self) -> CursorId

pub fn arrow_Map_c(self) -> CursorId

pub fn arrow_Map_frame(self) -> UFrame

pub fn arrow_Map_prop(self) -> PageProperty

pub fn arrow_Unmap_c(self) -> CursorId

pub fn arrow_Unmap_len(self) -> usize

pub fn arrow_ProtectNext_c(self) -> CursorId

pub fn arrow_ProtectNext_len(self) -> usize

pub fn arrow_NewReader_vs(self) -> VmSpaceId

pub fn arrow_NewReader_vaddr(self) -> Vaddr

pub fn arrow_NewReader_len(self) -> usize

pub fn arrow_NewWriter_vs(self) -> VmSpaceId

pub fn arrow_NewWriter_vaddr(self) -> Vaddr

pub fn arrow_NewWriter_len(self) -> usize

pub fn arrow_DropReader_vio(self) -> VmIoId

pub fn arrow_DropWriter_vio(self) -> VmIoId