Struct sel4::init_thread::SlotRegion

pub struct SlotRegion<T: CapType> { /* private fields */ }

Corresponds to seL4_SlotRegion.

Implementations

impl<T: CapType> SlotRegion<T>

pub const fn start(&self) -> usize

pub const fn end(&self) -> usize

pub const fn range(&self) -> Range<usize>

pub fn len(&self) -> usize

pub fn index(&self, i: usize) -> Slot<T>

Trait Implementations

impl<T: Clone + CapType> Clone for SlotRegion<T>

fn clone(&self) -> SlotRegion<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug + CapType> Debug for SlotRegion<T>

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

Formats the value using the given formatter.

impl<T: PartialEq + CapType> PartialEq for SlotRegion<T>

fn eq(&self, other: &SlotRegion<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<T: Eq + CapType> Eq for SlotRegion<T>

impl<T: CapType> StructuralPartialEq for SlotRegion<T>