Struct Regions 

pub struct Regions {
    pub stack_pages: u32,
    pub ro_pages: u32,
    pub rw_pages: u32,
    pub heap_pages: u32,
}

Data-region geometry: the page count of each of the four fixed regions. Placement is derived, not stored — regions stack linearly from DATA_BASE in the order stack, ro, rw, heap, so the page counts alone determine every base address.

A region with zero pages is omitted from Regions::iter entirely and occupies no address space.

Fields

stack_pages: u32

ro_pages: u32

rw_pages: u32

heap_pages: u32

Implementations

impl Regions

pub fn iter(&self) -> impl Iterator<Item = Region> + '_

Iterate every non-empty region in address (and RegionKind) order: stack, ro?, rw?, heap?.

Consumers that pack a content-addressed arena in insertion order depend on this order being stable; do not reorder it.

pub fn get(&self, kind: RegionKind) -> Option<Region>

Look up one region by kind, or None if it is empty.

pub const fn stack_top(&self) -> u64

Top-of-stack address (initial SP). RISC-V SP grows downward, so the first push lands at stack_top - 8.

pub const fn total_pages(&self) -> u32

Total pages across all regions.

pub const fn data_extent(&self) -> u64

Total data length in bytes, i.e. the size of the flat memory image a runtime must materialize at DATA_BASE.

pub const fn data_end(&self) -> u64

One past the last data byte, in guest addresses.

Trait Implementations

impl Clone for Regions

fn clone(&self) -> Regions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Regions

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

Formats the value using the given formatter.

impl Default for Regions

fn default() -> Regions

Returns the “default value” for a type.

impl PartialEq for Regions

fn eq(&self, other: &Regions) -> 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 Regions

impl Eq for Regions

impl StructuralPartialEq for Regions