Struct MemoryRegion 

pub struct MemoryRegion { /* private fields */ }

The information of initial memory regions that are needed by the kernel. The sections are not guaranteed to not overlap. The region must be page aligned.

Implementations

impl MemoryRegion

pub closed spec fn is_sub_region(self, old_region: Self) -> bool

Whether self is contained in old_region, with the same type.

pub closed spec fn is_separate(self, region: Self) -> bool

Whether the region shares no address with region.

pub closed spec fn aligned(self, align: int) -> bool

Whether both boundaries of the region are multiples of align.

impl MemoryRegion

pub const exec fn new(base: Paddr, len: usize, typ: MemoryRegionType) -> Self

requires

base + len <= MAX_PADDR,

returns

Self::new(base, len, typ),

Constructs a valid memory region.

pub const exec fn VERUS_UNERASED_PROXY__new( base: Paddr, len: usize, typ: MemoryRegionType, ) -> Self

requires

base + len <= MAX_PADDR,

returns

Self::new(base, len, typ),

Constructs a valid memory region.

pub const fn __VERUS_SPEC_new( base: Paddr, len: usize, typ: MemoryRegionType, ) -> Self

pub const exec fn bad() -> Self

returns

Self::bad(),

Constructs a bad memory region.

pub const exec fn VERUS_UNERASED_PROXY__bad() -> Self

returns

Self::bad(),

Constructs a bad memory region.

pub const fn __VERUS_SPEC_bad() -> Self

pub exec fn base(&self) -> Paddr

returns

self.base(),

The physical address of the base of the region.

pub fn __VERUS_SPEC_base(&self) -> Paddr

pub exec fn len(&self) -> usize

returns

self.len(),

The length in bytes of the region.

pub fn __VERUS_SPEC_len(&self) -> usize

pub exec fn end(&self) -> Paddr

returns

self.end(),

The physical address of the end of the region.

pub fn __VERUS_SPEC_end(&self) -> Paddr

pub exec fn is_empty(&self) -> bool

returns

self.is_empty(),

Checks whether the region is empty

pub fn __VERUS_SPEC_is_empty(&self) -> bool

pub exec fn typ(&self) -> MemoryRegionType

returns

self.typ(),

The type of the region.

pub fn __VERUS_SPEC_typ(&self) -> MemoryRegionType

Trait Implementations

impl Clone for MemoryRegion

fn clone(&self) -> MemoryRegion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MemoryRegion

impl Debug for MemoryRegion

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

Formats the value using the given formatter.

impl Eq for MemoryRegion

impl Ord for MemoryRegion

fn cmp(&self, other: &MemoryRegion) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for MemoryRegion

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

fn partial_cmp(&self, other: &MemoryRegion) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for MemoryRegion