Struct MessageInfo

pub struct MessageInfo { /* private fields */ }

Corresponds to microkit_msginfo.

Implementations

impl MessageInfo

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

pub fn label(&self) -> MessageLabel

The label associated with this message.

pub const fn label_width() -> usize

The number of meaningful bits in MessageLabel.

pub fn count(&self) -> usize

The number of filled message registers associated with this message.

pub fn fault(&self) -> Fault

Interpret this message as a sel4::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.