Trait CapType

pub trait CapType:
    Copy
    + Clone
    + Eq
    + PartialEq
    + Ord
    + PartialOrd
    + Hash {
    const NAME: &'static str;
}

Trait for marker types corresponding to capability types in the seL4 API.

Implementors are used to mark instantiations of Cap.

Required Associated Constants

const NAME: &'static str

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl CapType for AsidControl

const NAME: &'static str = "AsidControl"

impl CapType for AsidPool

const NAME: &'static str = "AsidPool"

impl CapType for CNode

const NAME: &'static str = "CNode"

impl CapType for Endpoint

const NAME: &'static str = "Endpoint"

impl CapType for IrqControl

const NAME: &'static str = "IrqControl"

impl CapType for IrqHandler

const NAME: &'static str = "IrqHandler"

impl CapType for LargePage

const NAME: &'static str = "LargePage"

impl CapType for Notification

const NAME: &'static str = "Notification"

impl CapType for Null

const NAME: &'static str = "Null"

impl CapType for PD

const NAME: &'static str = "PD"

impl CapType for PT

const NAME: &'static str = "PT"

impl CapType for Section

const NAME: &'static str = "Section"

impl CapType for SmallPage

const NAME: &'static str = "SmallPage"

impl CapType for Tcb

const NAME: &'static str = "Tcb"

impl CapType for Unspecified

const NAME: &'static str = "Unspecified"

impl CapType for UnspecifiedIntermediateTranslationTable

const NAME: &'static str = "UnspecifiedIntermediateTranslationTable"

impl CapType for UnspecifiedPage

const NAME: &'static str = "UnspecifiedPage"

impl CapType for Untyped

const NAME: &'static str = "Untyped"