Trait sel4::CapTypeForTranslationTableObject

pub trait CapTypeForTranslationTableObject: CapTypeForObjectOfFixedSize {
    const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType;
}

Required Associated Constants

const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType

Object Safety

This trait is not object safe.

Implementors

impl CapTypeForTranslationTableObject for PT

const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType = TranslationTableObjectType::PT

impl CapTypeForTranslationTableObject for VSpace

const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType = TranslationTableObjectType::VSpace