Enum PageKind 

pub enum PageKind {
    PinnedCapRo,
    UnpinnedCapCow,
    EphemeralZero,
}

Static per-page source kind, derived once from the Image’s declared memory mappings (pinned slot vs initial slot vs ephemeral / zero tail).

Variants

PinnedCapRo

Sourced from a pinned cnode slot: read-only forever. A store is a hard fault, never a CoW.

UnpinnedCapCow

Sourced from an unpinned (initial) slot: readable; the first write copies-on-write.

EphemeralZero

Declared mapping with no / empty source (ephemeral working area, or the zero-padded tail of an under-sized DataCap): reads see zero, the first write materializes a fresh zero page.

Implementations

impl PageKind

pub fn as_u8(self) -> u8

One-byte tag for the per-page side arrays both engines keep.

pub fn from_u8(v: u8) -> Option<PageKind>

Inverse of PageKind::as_u8. None for an undeclared page.

Trait Implementations

impl Clone for PageKind

fn clone(&self) -> PageKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PageKind

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

Formats the value using the given formatter.

impl PartialEq for PageKind

fn eq(&self, other: &PageKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for PageKind

impl Eq for PageKind

impl StructuralPartialEq for PageKind