Enum Fault

pub enum Fault {
    NullFault(NullFault),
    CapFault(CapFault),
    UnknownSyscall(UnknownSyscall),
    UserException(UserException),
    VmFault(VmFault),
    VGicMaintenance(VGicMaintenance),
    VCpuFault(VCpuFault),
    VPpiEvent(VPpiEvent),
}

Corresponds to seL4_Fault.

Variants

NullFault(NullFault)

CapFault(CapFault)

UnknownSyscall(UnknownSyscall)

UserException(UserException)

VmFault(VmFault)

VGicMaintenance(VGicMaintenance)

VCpuFault(VCpuFault)

VPpiEvent(VPpiEvent)

Implementations

impl Fault

pub fn from_sys(raw: seL4_Fault) -> Self

impl Fault

pub fn new(ipc_buffer: &IpcBuffer, info: &MessageInfo) -> Self

Trait Implementations

impl Clone for Fault

fn clone(&self) -> Fault

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Fault

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

Formats the value using the given formatter.

impl PartialEq for Fault

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

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

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

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

impl Eq for Fault

impl StructuralPartialEq for Fault