Trait sel4::CapTypeForTranslationTableObject

source · 
pub trait CapTypeForTranslationTableObject: CapTypeForObjectOfFixedSize {
    const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType;
}
Expand description

Trait for CapTypes which correspond to translation table objects.

Required Associated Constants§

source

const TRANSLATION_TABLE_OBJECT_TYPE: TranslationTableObjectType

Object Safety§

This trait is not object safe.

Implementors§