Trait sel4::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

Object Safety

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 HugePage

const NAME: &'static str = "HugePage"

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 PT

const NAME: &'static str = "PT"

impl CapType for Reply

const NAME: &'static str = "Reply"

impl CapType for SchedContext

const NAME: &'static str = "SchedContext"

impl CapType for SchedControl

const NAME: &'static str = "SchedControl"

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"

impl CapType for VCpu

const NAME: &'static str = "VCpu"

impl CapType for VSpace

const NAME: &'static str = "VSpace"