sel4

Trait CapType

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

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

Implementors are used to mark instantiations of Cap.

Required Associated Constants§

Source

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§

Source§

impl CapType for AsidControl

Source§

const NAME: &'static str = "AsidControl"

Source§

impl CapType for AsidPool

Source§

const NAME: &'static str = "AsidPool"

Source§

impl CapType for CNode

Source§

const NAME: &'static str = "CNode"

Source§

impl CapType for Endpoint

Source§

const NAME: &'static str = "Endpoint"

Source§

impl CapType for HugePage

Source§

const NAME: &'static str = "HugePage"

Source§

impl CapType for IrqControl

Source§

const NAME: &'static str = "IrqControl"

Source§

impl CapType for IrqHandler

Source§

const NAME: &'static str = "IrqHandler"

Source§

impl CapType for LargePage

Source§

const NAME: &'static str = "LargePage"

Source§

impl CapType for Notification

Source§

const NAME: &'static str = "Notification"

Source§

impl CapType for Null

Source§

const NAME: &'static str = "Null"

Source§

impl CapType for PT

Source§

const NAME: &'static str = "PT"

Source§

impl CapType for Reply

Source§

const NAME: &'static str = "Reply"

Source§

impl CapType for SchedContext

Source§

const NAME: &'static str = "SchedContext"

Source§

impl CapType for SchedControl

Source§

const NAME: &'static str = "SchedControl"

Source§

impl CapType for SmallPage

Source§

const NAME: &'static str = "SmallPage"

Source§

impl CapType for Tcb

Source§

const NAME: &'static str = "Tcb"

Source§

impl CapType for Unspecified

Source§

const NAME: &'static str = "Unspecified"

Source§

impl CapType for UnspecifiedIntermediateTranslationTable

Source§

const NAME: &'static str = "UnspecifiedIntermediateTranslationTable"

Source§

impl CapType for UnspecifiedPage

Source§

const NAME: &'static str = "UnspecifiedPage"

Source§

impl CapType for Untyped

Source§

const NAME: &'static str = "Untyped"

Source§

impl CapType for VCpu

Source§

const NAME: &'static str = "VCpu"

Source§

impl CapType for VSpace

Source§

const NAME: &'static str = "VSpace"