⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

AllocModelError

veridian_kernel::verification::alloc_proofs

Enum AllocModelError 

Source 
pub enum AllocModelError {
    OutOfMemory,
    DoubleFree,
    InvalidFrame,
    ConservationViolation,
    BuddyInconsistency,
    ZoneViolation,
    AlignmentViolation,
    OverlapDetected,
}
Expand description

Errors from allocator verification

Variants§

§

OutOfMemory

No free frames available

§

DoubleFree

Attempted to free an already-free frame

§

InvalidFrame

Frame address is not managed by this allocator

§

ConservationViolation

Conservation invariant violated (allocated + free != total)

§

BuddyInconsistency

Buddy pair inconsistency

§

ZoneViolation

Zone allocation from wrong region

§

AlignmentViolation

Alignment violation

§

OverlapDetected

Overlap between allocated regions

Trait Implementations§

Source§

impl Clone for AllocModelError

Source§

fn clone(&self) -> AllocModelError

Returns a duplicate of the value. Read more
1.0.0§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for AllocModelError

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for AllocModelError

Source§

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

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

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

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

impl Copy for AllocModelError

Source§

impl Eq for AllocModelError

Source§

impl StructuralPartialEq for AllocModelError

Auto Trait Implementations§

§

impl Freeze for AllocModelError

§

impl RefUnwindSafe for AllocModelError

§

impl Send for AllocModelError

§

impl Sync for AllocModelError

§

impl Unpin for AllocModelError

§

impl UnwindSafe for AllocModelError

Blanket Implementations§

§

impl<T> Any for T
where T: 'static + ?Sized,

§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<T> Borrow<T> for T
where T: ?Sized,

§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
§

impl<T> BorrowMut<T> for T
where T: ?Sized,

§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> CloneToUninit for T
where T: Clone,

§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T> From<T> for T

§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T, U> Into<U> for T
where U: From<T>,

§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of [From]<T> for U chooses to do.

§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.