Struct sel4_microkit_base::MessageInfo

pub struct MessageInfo { /* private fields */ }

Implementations

impl MessageInfo

pub fn new(label: MessageLabel, count: usize) -> Self

pub fn label(&self) -> MessageLabel

pub const fn label_width() -> usize

pub fn count(&self) -> usize

pub fn fault(&self) -> Fault

Trait Implementations

impl Clone for MessageInfo

fn clone(&self) -> MessageInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MessageInfo

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

Formats the value using the given formatter.

impl Default for MessageInfo

fn default() -> Self

Returns the “default value” for a type.