Struct sel4_common::fault::lookup_fault_t

pub struct lookup_fault_t {
    pub words: [usize; 2],
}

Fields

words: [usize; 2]

Implementations

impl lookup_fault_t

pub fn new_root_invalid() -> Self

pub fn new_missing_cap(bits_left: usize) -> Self

pub fn missing_cap_get_bits_left(&self) -> usize

pub fn missing_cap_set_bits_left(&mut self, new_field: usize)

pub fn new_depth_mismatch(bits_found: usize, bits_left: usize) -> Self

pub fn depth_mismatch_get_bits_found(&self) -> usize

pub fn depth_mismatch_set_bits_found(&mut self, new_field: usize)

pub fn depth_mismatch_get_bits_left(&self) -> usize

pub fn depth_mismatch_set_bits_left(&mut self, new_field: usize)

pub fn new_guard_mismatch( guard_found: usize, bits_found: usize, bits_left: usize ) -> Self

pub fn guard_mismatch_get_guard_found(&self) -> usize

pub fn guard_mismatch_set_guard_found(&mut self, new_field: usize)

pub fn guard_mismatch_get_bits_found(&self) -> usize

pub fn guard_mismatch_set_bits_found(&mut self, new_field: usize)

pub fn guard_mismatch_get_bits_left(&self) -> usize

pub fn guard_mismatch_set_bits_left(&mut self, new_field: usize)

pub fn get_type(&self) -> usize

impl lookup_fault_t

pub fn get_lookup_fault_type(&self) -> LookupFaultType

Trait Implementations

impl Clone for lookup_fault_t

fn clone(&self) -> lookup_fault_t

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for lookup_fault_t

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

Formats the value using the given formatter.

impl Default for lookup_fault_t

fn default() -> lookup_fault_t

Returns the “default value” for a type.

impl PartialEq<lookup_fault_t> for lookup_fault_t

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for lookup_fault_t

impl Eq for lookup_fault_t

impl StructuralEq for lookup_fault_t

impl StructuralPartialEq for lookup_fault_t